document.write("1001 ");