function playVideo1(){
    var myVideo = document.getElementById("video1");
    if (myVideo.paused){
        myVideo.play();
    }
    else{
        myVideo.pause();
    }
}

function playVideo2(){
    var myVideo = document.getElementById("video2");
    if (myVideo.paused){
        myVideo.play();
    }
    else{
        myVideo.pause();
    }
}

function playVideo3() {
    var myVideo = document.getElementById("video3");
    if (myVideo.paused) {
        myVideo.play();
    }
    else {
        myVideo.pause();
    }

}