function menu_highlight(id) {
	//alert(id);
	document.getElementById(id).className = 'body-text-topbar-highlight';
}

function menu_unhighlight(id) {
	document.getElementById(id).className = 'body-text-topbar';
}

function showMenu(menuname) {
	var m = document.getElementById(menuname).style.visibility='visible';
}

function hideMenu(menuname) {
	var m = document.getElementById(menuname).style.visibility='hidden';
}