function moveto(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 != "") {moveto(loc,target);}
}