function changeImage0() {
        newImage = "url(images/video_topHover.jpg)";
        document.getElementById('video_top').style.backgroundImage = newImage;
      }
function changeImage() {
        newImage = "url(images/video_top.jpg)";
        document.getElementById('video_top').style.backgroundImage = newImage;
      }