function openWindow(theURL) {
  window.open(theURL, "download","width=800,height=600,menubar=no,scrollbars=no");
}

function leapto(form) {
  var myindex=form.menu.selectedIndex;
//alert(form.menu.value);
//form.menu.value
  parent.obs.location.href="/obs/jsp/system/index.jsp?locale=" + form.menu.value;
  myindex = 0; // reset pulldown menu
}

function leaptouser(form) {
  var myindex=form.menu.selectedIndex;
//alert(form.menu.value);
//form.menu.value
  parent.obs.location.href="/obs/jsp/user/index.jsp?locale=" + form.menu.value;
  myindex = 0; // reset pulldown menu
}