document.write('  11940 ');