document.write(' 3842 ');