document.write("17.30");