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