activateMenu = function(nav) {
	return;
}

function invertDisplay(id){
 var current = document.getElementById(id);
 var newdisp = current.style.display != "block" ? "block" : "none";
 if (newdisp=='none') {
 var uls=current.parentNode.getElementsByTagName("UL");
 for (i=uls.length-1; i>=0; i--) {
   uls[i].style.display = 'none';
 }
 }
 current.style.display = newdisp;
}