document.write('6940 ');