document.write("13.20");