dat = new Date();
  month = dat.getMonth();
  monthname = new Array();
  monthname[0] = "JANUAR";
  monthname[1] = "FEBRUAR";
  monthname[2] = "MÄRZ";
  monthname[3] = "APRIL";
  monthname[4] = "MAI";
  monthname[5] = "JUNI";
  monthname[6] = "JULI";
  monthname[7] = "AUGUST";
  monthname[8] = "SEPTEMBER";
  monthname[9] = "OKTOBER";
  monthname[10] = "NOVEMBER";
  monthname[11] = "DEZEMBER";
  day = dat.getDate();
  if (day == 1) {dayadd = "ST";}
  else if (day == 21) {dayadd = "ST";}
  else if (day == 31) {dayadd = "ST";}
  else if (day == 2) {dayadd = "ND";}
  else if (day == 22) {dayadd = "ND";}
  else if (day == 3) {dayadd = "RD";}
  else if (day == 23) {dayadd = "RD";}
  else {dayadd = "TH";}
  year = dat.getFullYear();
  document.write('<span class="topNavGray">' + day + '. ' + monthname[month] + ' '+ year + '</span>');
  // document.write('<span class="topNavGray">' + monthname[month] + ' ' + day + '<sup><span style="font-size:6px">' + dayadd + '</span></sup>, ' + year + '</span>');