document.write('9940 ');