document.write (6272);