document.write (" 10940 ");