document.write(' 3900 ');