Actionscript- Random song in mp3 player

Based on the tutorial mp3 player on this site, would anyone know the actionscript needed for me to add a “random” button to play random mp3’s?