Выручайте! Я в bash не силен, поэтому прошу помощи.

Есть папка с 1500 файлами которые имеют имена в форме:

2013-05-27.06-45-14.000001.jpg

2013-05-27.06-45-34.000002.jpg

2013-05-27.06-45-43.000003.jpg

...

2013-05-27.10-52-02.001459.jpg

Нужно поменять имена всем этим файлам прибавив к последним числам 100, то есть должно получится файлы вида:

2013-05-27.06-45-14.000101.jpg

2013-05-27.06-45-34.000102.jpg

2013-05-27.06-45-43.000103.jpg

...

2013-05-27.10-52-02.001559.jpg

Заранее благодарен.