document.write (4001);