<!-- Get the last change date of the calling document & format it dd Mon yyyy

var mon = new Array(12)
mon[0]="Jan"
mon[1]="Feb"
mon[2]="Mar"
mon[3]="Apr"
mon[4]="May"
mon[5]="Jun"
mon[6]="Jul"
mon[7]="Aug"
mon[8]="Sep"
mon[9]="Oct"
mon[10]="Nov"
mon[11]="Dec"

if (Date.parse(document.lastModified) != 0) {
    changed = new Date (document.lastModified);
    time = new String ();
    year = new String ();

    // build a string version of the time, adding a leading zero
    // to the minutes if necessary

    if (changed.getMinutes() < 10) {
       time = changed.getHours() + ':0' + changed.getMinutes();
    } else {
       time = changed.getHours() + ':' + changed.getMinutes();
    }

    // Check for the millenium bug

    if (changed.getFullYear() < 1990) {
       year = changed.getFullYear() + 100;
    } else {
       year = changed.getFullYear();
    }

    document.write('Last changed: '
                  + changed.getDate() + '-'
                  + mon[changed.getMonth()] + '-'
                  + year);
}
//-->