Random MIDI Player
This JavaScript allows you to play a random MIDI file.