function reveal() {
	document.getElementById("SubMenu").style.visibility="visible";
	document.getElementById("ClearSubMenu").style.visibility="visible";
}

function hide() {
	document.getElementById("SubMenu").style.visibility="hidden";
	document.getElementById("ClearSubMenu").style.visibility="hidden";
}