document.write("19.3");