document.write (9392);