12.7.13 用文本编码作为html编辑器—以html源码的形式打开html文件