modify the html file's encoding

modify the html file's encoding