document.write (9242);