function update()
{
var tmp = new Date(document.lastModified);
var wotag = Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
var monat = Array("January","February","March","April","May","June","July","August","September","October","November","December");
document.write("Last modifications on "+wotag[tmp.getDay()]+", "+tmp.getDate()+" "+(monat[tmp.getMonth()])+" "+tmp.getFullYear()+" by ");
}