Summary says it all, a "Random" button! Select a random entry from a playlist/bookmarks/server list.