document.write("7.60");