Every flash mp3 player has a shuffle function but that's shuffle only for users, every player has a particular algorithm like to play 1 then 11th then 21 and this way.