document.write('8940 ');