var mydate = new Date(document.lastModified);
var year=mydate.getYear()    ;	if (year < 1000) year+=1900;
var month=mydate.getMonth()+1;	if (month<10) month="0"+month;
var day=mydate.getDate()     ;	if (day<10) day="0"+day;
//var hours=mydate.getHours()  ;	if (hours<10) hours="0"+hours;
//var mins=mydate.getMinutes() ;	if (mins<10) mins="0"+mins;
//var secs=mydate.getSeconds() ;	if (secs<10) secs="0"+secs;
document.writeln("(updated " + year + "/" + month + "/" + day + ")");
//document.writeln(year + "/" + month + "/"+day + " – " + hours + ":" + mins)