文件批量重命名是一项比较重要的文件处理技巧,将文件批量重命名为001