Анон. Ну помоги. Ты же всё знаешь.

Есть папка с тьмой файлов вида "page#.pdf", где # - номер страницы без лидирующих нулей, т.е. 1, 15, 130. Их там несколько сотен. Как быстро переименовать их все так, чтобы номера стали 0001, 0015, 0130? Регулярные выражения забыл напрочь.

Выручай, анон.