You probably don't want to load all 20 videos into memory, so this is probably a matter of selecting one of them and then loading/playing it.  As such, you could simply put the video filenames into an array and use random() to select an index (remembering to convert the result of random() to an int)...