document.write("7.50");