document.getElementById("med-ftitle").innerHTML=`AC-终止性的模块化与增量证明
`;