document.write("10.30");