document.write("7.9");