function open_menu(mymodule)
{

	
	if (mymodule == null || !document.getElementById(mymodule) || !document.getElementById(mymodule + "_href")){
		return false;
	}
	document.getElementById(mymodule).style.display = "block";
	document.getElementById(mymodule + "_href").style.display = "none";
	
	return false;
}

function showMenu(whichMenu, state){
	
	menuOn = whichMenu;
	menuOff = whichMenu +'_href';
	
	if  (state){
		document.getElementById(menuOn).style.display ='block';
		document.getElementById(menuOff).style.display ='none';
	}
	else {
		document.getElementById(menuOn).style.display ='none';
		document.getElementById(menuOff).style.display ='block';
	}
	
}