function changeTree(which) {
	  if( document.getElementById(which).style.display == "none" )
	     document.getElementById(which).style.display = "block";
	  else
	    document.getElementById(which).style.display = "none";	
	}