document.write (8512);