document.write(' 3950 ');