: The filename doesn't specify the codec used for encoding the video (like H.264, H.265, etc.), but most modern media players can handle a variety of codecs.