Rename 1234 to 1234.txt

new filename