批量修改文件名

刚刚下载了魅族M8手机上用的一堆图标文件，PNG格式，90x90象素，大约有一千多个文件。原有的文件名全是这种形式：“1000个常用图标-*.png”，其中*号处是编号，从1到1005。我感觉这文件名太长了，有些累赘，希望批量修改成“*.png”的形式。各人有各人的办法，我想到的第一个办法就是，写段程序搞定它。于是花了两分钟写出下面的代码，又用了几十秒运行程序，OVER。

（图片不是很清晰，抱歉了）

顺便做个调查，如果你遇到这种情况，会选择什么方式解决？

（如果文件只有十几二十个，我会选择手工修改，但一千个实在太多了，手工改会死人呢:）