document.write(' 8842 ');