<!--
flag = false;

function treeHidden(tName) {
	tMenu = document.getElementById(tName);
	if(tMenu.className == 'default') {
		tMenu.className = "hidden";
	} else {
		tMenu.className = "show";
	}
}

function treeMenu(tName) {
	tMenu = document.getElementById(tName);
	if(tMenu.className == 'hidden') {
		tMenu.className = "show";
	} else {
		tMenu.className = "hidden";
	}
}
//-->