document.write("18.30");