function div_toggle(div_id) {
	var x = document.getElementById(div_id) ;
	var x_display = x.style.display ;
	if(x_display == 'block'){
		x.style.display = 'none' ; 
	}else{
		x.style.display = 'block' ;
	}
}
function show_menu(selected){
	// deselect and hide all other menu items
	for ( i=1; i<=5; i++ )
		{
			var menux = document.getElementById('menu'+i);
			menux.className  = "faded";
			var submenux = document.getElementById('submenu'+i);
			submenux.style.display = "none";
		}
	// select new menu item and show it's submenu
	var selectedmenu =  document.getElementById("menu"+selected);
	selectedmenu.className = "active";
	var selectedsubmenu =  document.getElementById("submenu"+selected);
	selectedsubmenu.style.display = "block";
}