document.write(4002);