document.write("3700")