压缩html的javascript文件format.js