function highlightNavigationMenu( current ) {
	var menu = document.getElementById("menu");
	var links = menu.getElementsByTagName("li");
	for (i = 0 ; i < links.length; i++) {
		if (i == current)
			links[i].setAttribute("class","active");
		else
			links[i].setAttribute("class", "inactive");
	}
}