document.write (4512);