document.write("10940 ");