document.write("6.75");