document.write("13.80");