function jmp()
{ var fname,pc;
  if (parseInt(navigator.appVersion)>3)
  { if (parent.frames.length<1) // In Frame?
    { fname=location.href;
      fname=fname.toLowerCase();
      pc=fname.lastIndexOf("/");
      if(pc>=0) fname=fname.substring(pc+1);
      location.replace("index.htm?"+fname);
    }
    else parent.frames.main.focus();
  }
}