document.write('10940 ');