document.write("

12.40");