document.write("8.70");