document.write(' 3870 ');