document.write("6.10");