Player de música randomico

Sei que é um pouco ignorante da minha parte, pois sou bem leigo em flash. Mas estou querendo fazer um player de música, puxadas de um xml, cuja a ordem delas seria aleatória toda vez que a página carregasse.

Vi este tutorial: http://blog.six4rty.ch/tutorials/flash-create-a-full-streaming-flash-mp3-player-using-xml-pt-1/

Mas não sei como deixar elas aleatórias.

Alguem pode me ajudar?