document.write(' 3940 ');