/****** MENU FUNCTIONS ******/

function show(element){
		document.getElementById(element).style.visibility = 'visible';
}
	
function hide(element){
		document.getElementById(element).style.visibility = 'hidden';
}

function changeClass(element, newClass){
		document.getElementById(element).className= newClass;
}