//<script>

Tree.onClick = function(info, evt)
{
	top.onTreeClick(info, evt);
}

Tree.expandPath = function(node)
{
	while ((node = this.getParent(node)) != null)
		if (node.getAttribute("tree:flag") == "+")
			toggleNode(node);
}

