esempio di file da rinominare

885170257.gif
885170258.gif
...
...
885170359.gif

da rinominare in 517-0257.gif e via di seguito...