document.write("8.57");