document.write (8002);