Пакетное переименование файлов
Необходимо подкорректировать имя у большого количества файлов:
13.02.07 пер. Телеграфный-3
13.02.12 11.07.03 Вид с Инвентора
13.03.01 10.41.00 Кофейня-1 .... и т.д.
В данном случае число 13 в начале имени каждого файла нужно изменить на 2013 так, чтобы остальная часть имени сохранилась. Пожалуйста, подскажите, как это можно сделать?