if (-1==self.location.href.indexOf("intro.htm")) 
  if (-1==self.location.href.indexOf("file"))
    if (parent.location.href == self.location.href) 
{
      url=self.location.href;
      i=url.lastIndexOf("\/");
      if (-1==i) i=url.lastIndexOf("\\");
      if (i != -1)
        url=url.substring(i+1,url.length);
      window.location.href = 'index.htm?'+unescape(url);
}