document.write("7.225");