document.write("4002")