// top
// reformatted 2005-01-14 SWC
// http://simplythebest.net/scripts/DHTML_scripts/javascripts/javascript_63.html

v=false;
if (typeof(Option)+"" != "undefined") v=true;

if(v){a=new Array();aln=0;}

function getFormNum (formName) {
  formNum =-1;
  for (i=0;i<document.forms.length;i++){
    tempForm = document.forms[i];
    if (formName == tempForm) {
      formNum = i;
      correctForm = tempForm;
      break;
    }
  }
  return formNum;
}

function jmp(formName,elementNum) {
  getFormNum(formName);
  if (formNum>=0) {
    with (document.forms[formNum].elements[elementNum]) {
      i=selectedIndex;
      if (i>=0) location=options[i].value;
    }
  }
}

function O(txt,url) {
  a[k]=new Option(txt,url);k++;
}