How to generate a random sequence (permutation) of a finite sequence.