// JavaScript Document

function show_submenu() {
	document.getElementById("submenu").style.visibility = "visible";
}

function hide_submenu() {
	document.getElementById("submenu").style.visibility = "hidden";
}

function show_video() {
			document.getElementById("videoDiv").style.display = "block";
		}
		
function hide_video() {
			document.getElementById("videoDiv").style.display = "none";
		}