// videos.js - displays the desired video in the hidden viewer
var vids = ["",
"",
"",
"",
"",
""];
function show_video(num) {
var video_viewer = document.getElementById("video_window");
video_viewer.innerHTML = vids[num-1]+"
Close Window";
document.getElementById("video_box").className="shown_window";
} // end show_video
function hide_video() {
document.getElementById("video_window").innerHTML = "";
document.getElementById("video_box").className="hidden_window";
} // end hide_video
/*
Original list
*/