document.write (7512);