document.write("12.70");