function MM_jumpMenu(targ, selObj, restore) {
  eval(targ + ".location='" + selObj.options[selObj.selectedIndex].value + "'");
  if (restore) selObj.selectedIndex = 0;
}

function createOption(select, name, value) {
  var sObj = document.createElement("option");
  sObj.text = name;
  sObj.value = value;

  select.options.add(sObj);
}

function deleteOptions(select) {
  select.options.length = 0;
}