这个应该是unicode，不需要用专门的转码软件，

mozilla就能做。

只不过要稍稍改动一下，将代码中#12345全修改改为〹这样的形式（至于怎样转看你喜欢，俺是用 sed s/#\([0-9]\{5\}\)/\\1\;/g your_file > your_file_modified ），改好后放到浏览器中就能还原，俺是用mozilla composer转的。