document.write("23.20");