Rename 13.txt to 13