function anfang () {
//  over('home','menu');
  window.setInterval('uhr()',100)
}
function uhr() {
  Datum = new Date();
  Tag = Datum.getDate();
  Monat = Datum.getMonth() + 1;
  Jahr = Datum.getFullYear();
  Stunde = Datum.getHours();
  Minute = Datum.getMinutes();
  Sekunde = Datum.getSeconds();
  if(Tag<10)Tag = "0" + Tag;
  if(Monat<10)Monat = "0" + Monat;
  if(Stunde<10)Stunde = "0" + Stunde;
  if(Minute<10)Minute = "0" + Minute;
  if(Sekunde<10)Sekunde = "0" + Sekunde;
   
  document.formular.zeigezeit.value = Stunde + ":" + Minute + ":" + Sekunde;
  document.formular.zeigedatum.value = Tag + "." + Monat + "." + Jahr;
}

function lang_change( lang )
{
 document.location.href=document.location.href.replace( /(.*)_[d|e|f]\.htm/, "$1_"+lang+".htm");
}