document.write(' 5940 ');