document.write("

9.60");