The extension for a video file is:

.mpg

.avi

a and b

.txt