document.write("10.754")