document.write (7001);