document.write("7.40");