document.write (9452);