Переименование файлов! help!

У меня есть куча файлов под именами 1, 2, 3..25, 26, 27 мне их надо переименовать в 0001, 0002, 0002, 0025, 0026, 0027 и так далее. Чем мне можно воспользоваться? Какие утилиты мне для этого подойдут?