document.write("3700 ");