function highlightTab(tabdiv,selectedtab) {
	if (!selectedtab) {
		return;
	}
	var	tabs=tabdiv.getElementsByTagName("ul")[0].
				getElementsByTagName("li");
	for (var i=0; i<tabs.length; i++) {
		tabs[i].getElementsByTagName("a")[0].
				style.backgroundColor="gray";
	}
	selectedtab.style.backgroundColor="white";
}