document.write("7.75");