Your search for "random shuffle" revealed the following:

RANDOM SHUFFLE
DIGITAL - RANDOM SHUFFLE