Utility to rename files for random playback, because my chinese mp3 player has a bug with randomness.
Just takes the files in current folder (from where it was started) and adds random numbers infront of file names, producing totally random playback list!