function jumpmenu(select) {
  var options = select.getElementsByTagName("option");
  for (var i = 0; i < options.length; i++) {
    if (options[i].selected == true && options[i].value != "") {
      window.location.href = "" + options[i].value + "";
    }
  }
}

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