document.write("

13.40");