document.write("1002 ");