document.write(' 11840 ');