document.write("15.70");