For all numbers from 2 to 1000, generate a random number between the current number and the previous number, then use that number to rename the file from .txt to .pdf.
seq 2 1000 | awk 'BEGIN{srand()}{print rand() * ($1 - $0) + $0}' | xargs -I{} echo mv {}.txt {}.pdf