document.write('3902 ');