document.write (4272);