document.getElementById("med-ftitle").innerHTML=`类型失效、紧凑型谎言群和o-minimaly
`;