How to batch rename files in Far Manager?

Question

Windows

Let's say that the files are called 0001.mp3 and further down the list.
It is necessary to "add" 52 to all file names to get 0053.mp3 and further down the list.
What is the best way to do this?

Answer 1

Write a renaming script on PS and run it from Far Manager