document.write (9002);