document.write ("3800 ");