  <!--
  function land(ref, target)
  {
  lowtarget=target.toLowerCase();
  if (lowtarget=="_self") {window.location=loc;}
  else {if (lowtarget=="_top") {top.location=loc;}
  else {if (lowtarget=="_blank") {window.open(loc);}
  else {if (lowtarget=="_parent") {parent.location=loc;}
  else {parent.frames[target].location=loc;};
  }}}
  }
  function jump(menu)
  {
  ref=menu.choice.options[menu.choice.selectedIndex].value;
  splitc=ref.lastIndexOf("*");
  target="";
  if (splitc!=-1)
  {loc=ref.substring(0,splitc);
  target=ref.substring(splitc+1,1000);}
  else {loc=ref; target="_self";};
  if (ref != "") {land(loc,target);}
  }
  //-->

