document.write("17.50");