The random music jukebox