document.write("17.80");