The extension for a video file is:

.txt

.avi

.mpg

a and b