//Write the last modified date in my favourite format

function monthname(mon){
switch( mon ) {
       	case 0: s = "Jan"; break;
      	case 1: s = "Feb"; break;
       	case 2: s = "Mar"; break;
       	case 3: s = "Apr"; break;
       	case 4: s = "May"; break;
       	case 5: s = "Jun"; break;
       	case 6: s = "Jul"; break;
       	case 7: s = "Aug"; break;
       	case 8: s = "Sep"; break;
       	case 9: s = "Oct"; break;
       	case 10: s = "Nov"; break;
       	case 11: s = "Dec"; break;
       	default: s = "Unknownmonth"
      }
return s;
}


function lastmod() {
var lm = new Date (document.lastModified)
lmmonth = lm.getMonth()
lmyear = lm.getFullYear()
d = new Date()
dmonth = d.getMonth()
dyear = d.getFullYear()

lm = monthname(lmmonth)+" "+lm.getDate()+" "+lmyear

if (dyear > lmyear){
	lmdate = lmyear 
	}
else if (dmonth > lmmonth){
	lmdate = monthname(lmmonth)+" "+lmyear
	} 
document.write("<small>Last modified on <strong>"+lm+"</strong></small>")

}