document.write("

13.90");