<!-- Hide from old browsers
if (window.top.location.href == self.location.href)
   {
   var URLnav    = "";
   var URLdoc    = self.location.href;
   var index     = URLdoc.lastIndexOf ("/");
   if (index > 0)  URLnav = URLdoc.substring (0, index + 1) + "nav/nav_main.htm";
   var URLframe  = "nav/frm_flexibel.htm?" + escape ("nav=" + URLnav + "&doc=" + URLdoc);
   location.href = URLframe;
   }
// Stop hiding from old browsers -->