if (
       (parent.location==self.location)
    && (""+self.location).toLowerCase().indexOf(".chm")==-1
    && (""+self.location).toLowerCase().indexOf("~hh")==-1
   ) 
        window.location.replace("index.htm");
