Windows batch script to rename files that have random names?

I need to make windows batch script to rename files that have random names. I have a folder with thousand .txt files, their names are completely random, I want to rename first 5 files in that folder to file1.txt, file2.txt,file3.txt, file4.txt,file5.txt.

Help appreciated.