If you are having trouble playing or using "11837.mkv.mp4," try these steps:

Use a tool like MediaInfo . It will tell you if the file is truly an MP4 or if it's just an MKV wearing an MP4 "mask."

The most striking feature is the suffix .mkv.mp4 . This usually happens in one of two scenarios:

If you know it’s a standard MP4, you can safely rename it to 11837.mp4 to clean up the look. Are you trying to open this specific file, or

Files shared on messaging platforms are often assigned long numeric strings to avoid name conflicts on the server. How to Handle This File

Open it with VLC Media Player . VLC ignores the extension and looks at the actual data bits to play the file.