document.write("3800");