if ( self.location.href == window.top.location.href ) 
    {   // donc ici, ça veut dire que la page lancée, l'a été directement
        // et donc que le menu n'est pas présent
        var url=unescape(self.location.pathname);   // nom complet de la page elle même
        var adr=url.lastIndexOf("/");
        var url=url.substring(adr+1);               // nom ( f#.htm dans cet exemple )
        location.href="index.htm?"+url;                // on charge f0.htm avec le nom de la "page actuelle"
    }