lupd=document.lastModified; l=lupd.indexOf("/20");
spr=navigator.language;
switch (spr) {
  case 'de': { str1="Letzte Änderung: "; str2="Zugriffe"; break; }
  default:   { str1="last update: "; str2="access count"; }
}
document.write('<p><i><font size="-1"><font color="green">');
document.write(str1)
document.write(lupd.substring(0,l+6));
document.write('</font>, ');
i=document.URL.indexOf('~pester');
if ( i <= 0 ) i=document.URL.indexOf('sfb393');
  document.write("<a href=/cgi-bin/webstat/"+document.URL.substring(i)+">"+str2+"</a>");
document.write('</font>');
document.write('</i></p>');