document.write("3.80");