// JavaScript Document
function menuSelected(p_element, p_target, p_visible){
	if(p_visible){
		document.getElementById(p_target).style.display = "block";
	}else{
		document.getElementById(p_target).style.display = "none";
	}
}