document.write("7.7")