<!--//
var nuA  = navigator.userAgent

var M2   = (nuA.indexOf("Mozilla/2") != -1);
var M3   = (nuA.indexOf("Mozilla/3") != -1);
var IE3  = (nuA.indexOf("MSIE 3") != -1);
var OP   = (nuA.indexOf("Opera") != -1);
var GECKO = (nuA.indexOf("Gecko") != -1);
var MOZ   = GECKO && (nuA.indexOf("Netscape") == -1);
var NN   = (navigator.appName == "Netscape") && !OP && !MOZ;
var NN2  = NN && M2 && !OP;
var NN3  = NN && M3 && !OP;
var beginopera       = nuA.lastIndexOf("Opera");
var operahoofdversie = nuA.substring(beginopera + 6,beginopera + 7);
var operasubversie   = nuA.substring(beginopera + 8,beginopera + 9);
var operaversie      = (operahoofdversie + operasubversie);
var OP4min           = OP && (parseInt(operahoofdversie) <= 4);


if (!IE3 && !NN2 && !NN3 && !OP4min) {

 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(year<1900)
  year=year+1900;
 
 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("<DIV STYLE='font-size: 10px;'>" + "Last updated: " + "<I>" +mon + " " +day + 
 ". " + year + " at " +hour + ":" +min0 +min + "</I>" + "</DIV>");
}
//-->