document.getElementById("myVideo").setAttribute("src",videoSource[0]);
Create a function to load and play the videos.
 
    function videoPlay(videoNum)
    {
document.getElementById("myVideo").setAttribute("src",videoSource[videoNum]);
document.getElementById("myVideo").load();
document.getElementById("myVideo").play();
    }