we all know we can shuffle all songs in the media player. however, i'd like to do the same to videos as well. and i don't want to use "mplayer -shuffle" because i need hardware acceleration of the media player. is there a way to do it with a script?