document.write (4002);