document.write(' 3973 ');