Choosing a random mp4 file from directory in processing

I have a diractory w/ a processing script and some mp4 files, how do i choos a random one to display?