if (navigator.userAgent.indexOf("MSIE 3") == -1) {
 mdate = new Date(document.lastModified);
 year = mdate.getYear();
 month = mdate.getMonth() + 1;
 day = mdate.getDate();
 hour = mdate.getHours();
 min = mdate.getMinutes();
 var mon;
 var min0;
 
 if (min<10)
  min0="0";
 else
  min0="";
 
 if(month==0)
  mon="January";
 if(month==1)
  mon="January";
 if(month==2)
  mon="February";
 if(month==3)
  mon="March";
 if(month==4)
  mon="April";
 if(month==5)
  mon="May";
 if(month==6)
  mon="June";
 if(month==7)
  mon="July";
 if(month==8)
  mon="August";
 if(month==9)
  mon="September";
 if(month==10)
  mon="October";
 if(month==11)
  mon="November";
 if(month==12)
  mon="December";
 
 document.write("Last update: " +mon+" "+day+"th "+year+" at "+hour+":"+min0+min+" CET");
}