document.getElementById("med-ftitle").innerHTML=`Magma代数系统I：用户语言
`;