document.write("6.5");