document.write (4001)