document.write (9023);