var curShownMenu = '';
	var i;

	function hide_show(elementID)
	{

		var el = document.getElementById(elementID);
		if ( el.style.display != 'none' ) {
			el.style.display = 'none';
			curShownMenu = '';
		}
		else {
			curShownMenu = elementID;
			el.style.display = '';
			
		}

	}
	
	function push(elementID)
	{
		curShownMenu = elementID;

	}
	
	
	function hide_show_menu(elementID)
	{								
		if(curShownMenu != ''){
			hide_show(curShownMenu);				
		} 
		hide_show(elementID);
	}