<!-- begin
var months = new Array(13);
months[1] = "jan";
months[2] = "feb";
months[3] = "mar";
months[4] = "apr";
months[5] = "may";
months[6] = "jun";
months[7] = "jul";
months[8] = "aug";
months[9] = "sep";
months[10] = "oct";
months[11] = "nov";
months[12] = "dec";
var dateObj = new Date(document.lastModified)
var lmonth = months[dateObj.getMonth() +1]
var date = dateObj.getDate()
var fyear = dateObj.getYear()
if (fyear <2000)fyear = fyear + 1900
document.write("last updated" + " " + date + "." + lmonth + "." +fyear + "")
// end -->

