document.write("9.5");