// JavaScript Document

function date_ddmmmyy(date) {
    var d = date.getDate();
    var m = date.getMonth() + 1;
    var y = date.getYear();

    // handle different year values 
    // returned by IE and NS in 
    // the year 2000.
    if (y < 200) { y += 1900; }
    if (y < 1950) { y += 100; }
                
    // could use splitString() here
    // but the following method is
    // more compatible
    var mmm = ( 1==m)?'Jan':( 2==m)?'Feb':(3==m)?'Mar':
              ( 4==m)?'Apr':( 5==m)?'May':(6==m)?'Jun':
              ( 7==m)?'Jul':( 8==m)?'Aug':(9==m)?'Sep':
              (10==m)?'Oct':(11==m)?'Nov':'Dec';

    return "" + d + "-" + mmm + "-" + y;
}

//
// get last modified date of the
// current document.
//
	
function date_lastmodified() {
    var lmd = document.lastModified;
    var s   = "Unknown";
    var d1;

    // check if we have a valid date
    // before proceeding
    if (0 != (d1=Date.parse(lmd))) {
        s = "" + date_ddmmmyy(new Date(d1));
    }

    return s;
}

//
// finally display the last modified date
// as DD-MMM-YYYY
//

document.write("Last updated " + date_lastmodified() );