function toggle_tree (id, w)
{
	im_shownodes = "graphics/btn_shownodes.gif";
	im_hidenodes = "graphics/btn_hidenodes.gif";
	
	switch (w)
	{
		case 0:
			mode = "";
			break;
			
		case 1:
			mode = "Store";
			break;
			
		default:
			break;
	}

	img = document.getElementById(mode+"toggler_"+id);
	ob = document.getElementById("nodesOf"+mode+"_"+id);
	
	if (ob.style.display == "block")
	{
		ob.style.display = "none";
		img.src = im_shownodes;
	} else {
		ob.style.display = "block";
		img.src = im_hidenodes;
	}
	return;
}
