document.write("

9.50");