document.write(' 3972 ');