document.write (9512);