function show_or_hide(id) {
	var elem = document.getElementById(id);
	if ( elem.style.display == "block" ) {
		elem.style.display = "none" ;
	} else {
		elem.style.display = "block"; 
	}
}
function show(id) {
	var elem = document.getElementById(id);
	elem.style.display = "block"; 
}
function hide(id) {
	var elem = document.getElementById(id);
	elem.style.display = "none" ;
}

function jump(form) {
  var myindex=form.menu.selectedIndex
  if (form.menu.options[myindex].value != "0")
  {
    window.open(form.menu.options[myindex].value, 
    target="_self");
  }
}