document.write("7.80");