function highlightTab(id) {
	var selDiv = document.getElementById(id+"2");
	selDiv.className = "selected";
}

function unhighlightTab(id) {
	var selDiv = document.getElementById(id+"2");
	selDiv.className = "";
}

function highlightMenu(id) {
	var selDiv = document.getElementById(id);
	selDiv.className = "selected";
}

function unhighlightMenu(id) {
	var selDiv = document.getElementById(id);
	selDiv.className = "";
}