document.write(' 3952 ');