document.write("6.33");