/* Toggle Highlights */
function togglehigh(id) {
var elem = document.getElementById(id);
if (!elem) return; 
	if (elem.className == "hide") {
	elem.className = "show";
	} else {
	elem.className = "hide";
	}
} 

function togglelow(id) {
var elem = document.getElementById(id);
if (!elem) return; 
	if (elem.className == "show") {
	elem.className = "hide";
	} else {
	elem.className = "show";
	}
}

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}


function jumpto(x){
if (document.jmp.jumpmenu.value != "null") {
	document.location.href = x
	}
}