document.write(' 18842 ');