document.write("14.20");