<!--
function datum()
{
var jetzt = new Date();
var tag = jetzt.getDay();
var mon = jetzt.getMonth();
var jahr = jetzt.getYear();
if(jahr < 200) jahr+=1900;
if(jahr < 1999) jahr+=100;
var wochentag = new Array("So,","Mo,","Di,","Mi,","Do,","Fr,","Sa,");
var monat = new Array("Jan","Feb","Mrz","Apr","Mai","Jun","Jul","Aug","Sep","Okt","Nov","Dez");
document.write(wochentag[tag] + " " + jetzt.getDate() + ". " + monat[mon] + " " + jahr);
}

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

//-->