document.write(' 11842 ');