dat = new Date();
  month = dat.getMonth();
  monthname = new Array();
  monthname[0] = "-01-I";
  monthname[1] = "-02-";
  monthname[2] = "-03-";
  monthname[3] = "-04-L";
  monthname[4] = "-05-";
  monthname[5] = "-06-";
  monthname[6] = "-07-";
  monthname[7] = "-08-";
  monthname[8] = "-09-";
  monthname[9] = "-10-";
  monthname[10] = "-11-";
  monthname[11] = "-12-";
  day = dat.getDate();
  if (day == 1) {dayadd = "";}
  else if (day == 21) {dayadd = "";}
  else if (day == 31) {dayadd = "";}
  else if (day == 2) {dayadd = "";}
  else if (day == 22) {dayadd = "";}
  else if (day == 3) {dayadd = "";}
  else if (day == 23) {dayadd = "";}
  else {dayadd = "";}
  year = dat.getFullYear();
  document.write('<span class="topNavGray">' + day + ' ' + monthname[month] + ' ' + year + '</span>');