document.write(' 10840 ');