document.write(' 3800 ');