How do I get the file randomly from the directory without doing it redundantly in bash programming

I want to ask about bash again. I want to get the file randomly from the directory. For example there are

13.525 file in 1 directory.

I was random the file and get the file

gr123.adl and for the next random I want the file

gr123.adl not to be selected again.

How should I implementing it with bash language?

Thank's for your help before

Regards Gustina M.S