rename 123.txt to 1234.txt