简易本地html5视频播放器

win10自带的播放器打开来太慢了，还不如video标签，实在受不了，写了个简易的播放器放放视频

<input id="file" type="file" value="选择视频" onchange="play()">
<video id="video" controls></video>
<script>
    function play() {
        let file = document.getElementById(\'file\').files[0];
        let url = URL.createObjectURL(file);
        document.getElementById("video").src = url;
}
</script>