document.write('5940 ');