document.write("

12.50");