Как сделать воспроизведение случайного видео на странице без повторения?

Я уже сделал, что бы видео случайно воспроизводилось, но мне нужно, что бы оно не повторялось. Вот код

function refreshbutton(){
var count = Math.floor(Math.random() * videos.length);
document.getElementsByTagName('source')[0].src = "./video/" + videos[count];video.load();}
var videos= ["video1.mp4","video2.mp4","video3.mp4"];