document.getElementById("med-ftitle").innerHTML=`基于硬NP∩coNP函数的NISAN-WIGDERSON发生器复杂性证明
`;