document.getElementById("med-ftitle").innerHTML=`计算机代数与机械化推理：精选2000年圣安德鲁斯ISSAC/Calculemus会议论文集——编者序
`;