/* Javascript zum Andrucken des Aenderungsdatums des HTML-Members   */

var BrowserName = navigator.appName;
var BrowserVersion = navigator.appVersion;
var BrowserVerNr = BrowserVersion.substr(0,3)
var DateLastMod = document.lastModified;

switch(BrowserName)
 {
  case "Netscape":
    {
    switch(BrowserVerNr)
     {
      case "4.0":
        document.write(" Last modified " + DateLastMod.substr(3,2) 
          + "." + DateLastMod.substr(0,2) + ".20" + DateLastMod.substr(6,2)
          + " " + DateLastMod.substr(9,8)); 
      break;
      case "4.7":
        document.write(" Last modified [" + document.lastModified + "]");
      break;
      default:
        document.write(" Last modified [" + document.lastModified + "]");
      break;
     }
    }
  break;
  case "Microsoft Internet Explorer":
    document.write(" Last modified " + DateLastMod.substr(3,2) 
      + "." + DateLastMod.substr(0,2) + "." + DateLastMod.substr(6,4)
      + " " + DateLastMod.substr(11,8)); 
  break;
  default:
    document.write(" Last modified [" + document.lastModified + "]");
  break;
 }