//**********************
//Anzeige d. Dateidatums in Windows-Warnmeldung
function Datum1(Ziel)
 {
  var Dateinfo = Ziel.document.lastModified;
  var Mon = Dateinfo.substr(0,2);
  var Tag = Dateinfo.substr(3,2);
  var Jahr = "20" + Dateinfo.substr(6,2);

  switch(navigator.appName)
  {
   case "Netscape":
   {
    if(navigator.appVersion.substr(0,3) >= "4.7")
    {
     var Monat = new Array ("Nop", "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov",  "Dec");
     var Laenge = Dateinfo.length;
     var Jahr = Dateinfo.substr( Laenge-13 , 4 );
     var Tag = Dateinfo.substr( Laenge-17 , 2 );
     var Mon=1;
       while (Dateinfo.indexOf(Monat[Mon]) < 0)
       {
        Mon++;
       }
     if(Mon < 10) Mon="0" + Mon;
    }
   }
  break;
   case "Microsoft Internet Explorer":
   {
    var v = navigator.appVersion.indexOf("MSIE");
    var nr = navigator.appVersion.substr(v+5,1);
    if(nr>=5) Jahr = Dateinfo.substr(6,4);
   }
  break;
  default:
  break;
  }
 var d = Tag + '.' + Mon + '.' + Jahr;
 alert('Letzte Aktualisierung : '+ String.fromCharCode(13)
 + String.fromCharCode(13) + d);
 }
//**********************
//Aufbereitung des Dateidatums und Anzeige im HTML-Text
function Datum2(Ziel)
 {
  var Dateinfo = Ziel.document.lastModified;
  var Mon = Dateinfo.substr(0,2);
  var Tag = Dateinfo.substr(3,2);
  var Jahr = "20" + Dateinfo.substr(6,2);

  switch(navigator.appName)
  {
   case "Netscape":
   {
    if(navigator.appVersion.substr(0,3) >= "4.7")
    {
     var Monat = new Array ("Nop", "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov",  "Dec");
     var Laenge = Dateinfo.length;
     var Jahr = Dateinfo.substr( Laenge-13 , 4 );
     var Tag = Dateinfo.substr( Laenge-17 , 2 );
     var Mon=1;
       while (Dateinfo.indexOf(Monat[Mon]) < 0)
       {
        Mon++;
       }
     if(Mon < 10) Mon="0" + Mon;
    }
   }
  break;
   case "Microsoft Internet Explorer":
   {
    var v = navigator.appVersion.indexOf("MSIE");
    var nr = navigator.appVersion.substr(v+5,1);
    if(nr>=5) Jahr = Dateinfo.substr(6,4);
   }
  break;
  default:
  break;
  }
 var d = Tag + '.' + Mon + '.' + Jahr;

Ziel.document.write("<FONT FACE='Arial,Helvetica,sans-serif' SIZE='-2'><B>Letzte Bearbeitung : " + d  + " (c.m.)</B></FONT>");
 }
//**********************
//Protokoll-Navigation
function Gehe(ri)
 {
    var Datei = new Array ("nop", "P0199", "P0299", "P0399", "P0499", "P0599", "P0699", "P0100", "P0200", "P0300", "P0400", "P0500", "P0101", "P0201", "P0301");
    var Anzahl = Datei.length - 1;
    var Dateiname = document.URL;
    var Zaehler=1;
       while (Dateiname.indexOf(Datei[Zaehler]) < 0 && Zaehler <= Anzahl)
       {
        Zaehler++;
       }
    
    if (ri == "vor") Zaehler++;
    else Zaehler--;
    if (Zaehler <= 0) Zaehler = Anzahl;
    if (Zaehler > Anzahl) Zaehler = 1;

    if (ri == "1") Zaehler = "1";
    if (ri == "x") Zaehler = Anzahl;
    document.location.href = Datei[Zaehler] + ".htm"
 }
//**********************
//Öffnet ein eigenes Fenster mit der aktuellen Notdienst-Monatsübersicht.

function Notdienst(d)
{
  jetzt = new Date();
  Jahresmonat = jetzt.getMonth();
  if (d==1) var vz="../";
  else var vz=""; 
  var Monat = new  Array("JAN","FEB","MRZ","APR","MAI","JUN","JUL","AUG","SEP","OKT","NOV","DEZ");
  var Hoehe = new Array (390,380,380,420,400,420,380,360,380,390,380,510 );
  var Pm = ",screenX=320,screenY=130,width=400,height=" + Hoehe[Jahresmonat] + ",scrollbars,dependent=yes,resizable=yes";
  NotFenster =  window.open(vz + "notdienst.htm#"+Monat[Jahresmonat], "Notdienst", Pm);
   if (navigator.appName != "Netscape")
   {
    NotFenster.moveTo(320,130);
    NotFenster.resizeTo(420, Hoehe[Jahresmonat] + 60);
   }
   NotFenster.focus();
 }
//*************************
//Button-Animation
var dy = "Bilder/";
var xt = ".gif";
var cl = "p";                    
var hl = "a";
var Click = new Array ();
var Highlight = new Array ();
var Normal = new Array ();

function LoadImg()
{
var Param = LoadImg.arguments;
var i = Param.length;               

for (var j=0; j<i; j++) 
  {
   Normal[j] = new Image(); 
   Normal[j].src = dy + Param[j] + xt;
   Highlight[j] = new Image(); 
   Highlight[j].src = dy + Param[j] + hl + xt;          
   Click[j] = new Image();
   Click[j].src = dy + Param[j] + cl + xt;
  }
}

function Button(nr,act)
{
 if(act == "1") window.document.images[nr].src = Normal[nr].src;
 if(act == "2") window.document.images[nr].src = Highlight[nr].src;
 if(act == "3") window.document.images[nr].src = Click[nr].src;
}