document.write("

6.40");