document.write("8.33");