document.write(' 9842 ');