document.write("4002 ");