document.write("3800 ");