document.write("17500");