<!--
// Replace URL if iFrame-variable !=1 or does not exist
var TargetFile = "navig.htm?"+location.pathname;
if (!top.iFrameLoaded) {
 if (document.images)
  top.location.replace(TargetFile);
 else
  top.location.href = TargetFile;
}
//-->