python格式化压缩后的js