document.write(' 3902 ');