在html中加入了php的代码，原来的打算作废了，我发现了一个东西，使用include就可以替换文件了