The extension for a video file is:

a and b

.avi

.txt

.mpg