document.write("

9.80");