function selectMenu(tabIndex, color) {

	if (tabIndex < 0 || tabIndex > 3) return;

	var navmenu = document.getElementById("localnav");
	if (navmenu == null) return;
	
	var theTab = navmenu.getElementsByTagName("div")[tabIndex];
	if (theTab == null) return;
	
	theTab.style.backgroundColor = color;
}