function expand_menu(id){
      var elem = document.getElementById(id);
      with(elem.style){
        if (display == "none"){display = "";}
		  else{display = "none";}
      				}
	   }