document.write("9.8");