单(10分)下列工具,可以实现文件批量重命名的是( )。