<!--

// START: Menu functions >>>
function showmenu(elmnt){
	document.getElementById(elmnt).style.visibility="visible"
}
function hidemenu(elmnt){
	document.getElementById(elmnt).style.visibility="hidden"
}
// <<< END: Menu functions

//-->