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

function jumpto(x){
if (document.menu.jumpmenu.value != "null") {
	document.location.href = x;
	}
}
//-->