<!--
if (
    parent.location==self.location
    && (""+self.location).toLowerCase().indexOf(".chm")==-1
    && (""+self.location).toLowerCase().indexOf("~hh")==-1
   )
 document.writeln ('<a href="index.html" class="header">(Home)</a>');
//-->

