if (NavigatorAusblenden==0) { var MyNavigator = document.getElementById('Navigator'); if (MyNavigator) MyNavigator.innerHTML = "
  • Inhaltsverzeichnis "; }