function getID(id){
		return document.getElementById(id);
	}

	function dispMenu(i){
		hideMenus();
		j = 1;
		ms = "m"+i;
		while(t = getID(ms+j)){
			t.style.display="";
			j++;
		}
	}

	function hideMenus(){
		for(i=0; i<4;i++){
		  ms = "m"+i;
		  j=1;
		  while(t = getID(ms+j)){
			t.style.display="none";
			j++;
		  }
		}
	}