我想要实现的是将视频源从“1.mp4”随机设置为“4.mp4”，即rand。每次加载/刷新时都会生成int。
使用Javascript：
function getRndInteger(min, max) {
return Math.floor(Math.random() * (max - min + 1) ) + min;
}
var video = document.getElementById("video");
video.setAttribute('src', getRndInteger(1,4) + '.mp4');
video.load();
HTML：
<video autoplay muted loop id="video"></video>
不幸的是，加载网站时没有视频播放。我也尝试更改源的src，但使用此方法无效。我也试过添加video.play（）;这不起作用。任何帮助表示赞赏！
我终于弄清楚我做错了什么。代码工作，但我使用属性type="javascript"而不是type="text/javascript"。我会保留这个问题以防万一有人想在js做类似的事:)
我还要感谢大家的帮助！
这个脚本在chrome中运行良好。您确定在呈现HTML后运行JS脚本吗？将''标签放在''（正文结束标签）之前。您确定在给定目录中有一个有效的MP4文件吗？
你有任何错误吗？
<html>
<head></head>
<body>
<video autoplay muted loop id="video"></video>
<script>
function getRndInteger(min, max) {
return Math.floor(Math.random() * (max - min + 1) ) + min;
}
var video = document.getElementById("video");
video.setAttribute('src', getRndInteger(1,4) + '.mp4');
video.load();
</script>
</body>
</html>