document.write("9.5")