document.getElementById("med-ftitle").innerHTML=`作为模式的证明及其启发式应用
`;