document.write("7.42");