array Array.shuffle(array arr)
Array.shuffle gives back the same elements, but in random order.
Array.permute()
Extracted from Pike v7.3 release 11 at 2001-11-03.