document.write("15.80");