<!--
function local()
{
linkno = document.loc.location.selectedIndex;
oldLoc = new String(document.location);
newLoc = new String(document.loc.location.options[linkno].value);
if ((oldLoc.substring(oldLoc.length - newLoc.length,oldLoc.length) != newLoc) && (newLoc != "#")){
location = newLoc;
  }
}
//-->