Rename 1-013.txt to 013.txt