<!-- hide from old browsers
function ResetMenu() {
	tree1.selectNode(tree1.selectedNode);
	tree1.collapseAll(true);
}

function SelectMenuNodeID(NodeID) {
	var node = tree1.nodeByID(NodeID);
	SelectMenuNode(node)
}

function SelectMenuNode(node) {
	var parentNode;
	if ( node != null ) {
		tree1.expandNode(node.index, true, true);

		parentNode = node.parentNode; 
		if ( parentNode.expanded == false )
			tree1.expandNode(parentNode.index, true, false);

		tree1.draw();
	}
}
-->