function highlightCurrentInMenu(menuId) {
	var menu = document.getElementById(menuId);
	var menuItems = menu.getElementsByTagName("A");

	for(var i = 0; i < menuItems.length; i++) {
		var menuItem = menuItems[i];
		if(menuItem.href == document.location) {
			menuItem.className += " active";
		}
	}
}

