document.write(' 3962 ');