Button To Play Random mp3's

Hello,

I’m currently making a button, and I want it to play random mp3s when the user rolls over the button. In other words, I have 5 different mp3s named 1.mp3, 2.mp3, 3.mp3, etc. When the user rolls over the button, I would like for it to randomly play one of those mp3’s… So each time the user rolls over the button, they’ll hear 1 of the 5 mp3’s.

Does anyone know how I might be able to make this happen? Or does anybody have any script that does this sort of thing? If so, that would be awesome!

Thanks a lot!

Brandon