document.write("12.60");