<?php
    $rand_video = [
            1 => 'name1.mp4',
            2 => 'name2.mp4',
            3 => 'name3.mp4',
            4 => 'name4.mp4'
        ];
echo '<video id="video" src="'.$rand_video[rand(1,4)].'" autoplay loop></video>';
?>