If you don't want to install software, you can use a browser-based tool like ezyZip : the .7z file. Click Convert or Extract . Download the extracted .mp4 file directly. Troubleshooting
: Video compression in .7z is usually lossless , meaning the file size might not be much smaller than the original video unless specific "Ultra" settings were used.
Open the resulting file in any standard media player. Alternative: Online Extraction