function highlightNode(url, nodes, offset) {
	if (!offset)
		offset = 0;
	for (var i = offset; i < nodes.length; i++)
		if (nodes[i]) {
			if (nodes[i][1] && (url == nodes[i][1] || (nodes[i][1].length > 1 && url.substr(0, nodes[i][1].length) == nodes[i][1])))
				highlighted = nodes[i][0] = '<span>' + nodes[i][0] + '</span>';
			else if (nodes[i][3])
				nodes[i] = highlightNode(url, nodes[i], 3);
		}	
	return nodes;	
}

window.nav_tree = null;

var highlighted = '';

var known = {
	'/index.php':'/',
	'/index.shtml':'/'
};		

var url = location.pathname;

if (known[url])
	url = known[url];

TREE_NODES = highlightNode(url, TREE_NODES);

window.nav_tree = new ScriptTree("nav_tree", TREE_NODES, TREE_FORMAT);
var node = window.nav_tree.nodeByName(highlighted);
if (!node || node.index == 0)
	window.nav_tree.expandNode(1);
else	
	while (node) {
		if (!node.expanded)
			window.nav_tree.expandNode(node.index);
		node = node.parentNode;
	}

if (window.initializeScripts)
	window.initializeScripts();

function refreshNavigation() {
	window.nav_tree.draw();
}