// Last modified routine to ensure that Browsers print the date in UK format

m = new String(document.lastModified)
n = new String("This page last modified on: ")

// Opera v8 can pretend to be any Browser so special measures are required
// Firefox claims to be Netscape but uses IE format for date!
// The following routine attempts to cover all situations...

browser = navigator.appName;
if (m.charAt(2) == "/"){ 
    browser = new String("Microsoft Internet Explorer")//treat as IE
}

if (m.charAt(3) == ","){ 
    browser = new String("not Microsoft Internet Explorer")//treat as NOT IE
}

// Assemble print line for non Microsoft Internet Explorer browsers
if (browser != "Microsoft Internet Explorer") {
    o = new String(n+m)
}
// Assemble print line for Microsoft Internet Explorer browser only
else {
    if (m.substring(0,1) == 1){
    monthNum = m.substring(0,2)
    }
    else {
    monthNum = m.charAt(1)
    }

monTh = new Array("","Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
o = new String(n+m.charAt(3)+m.charAt(4)+" "+monTh[monthNum]+" "+m.substring(6,10)+" at: "+m.substring(11,19))
}
// Print the line
document.write('<p><small><font color="navy">'+o+'</font></small></p>')