// format date as mmmmm dd, yyyy; example: July 30, 2001

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 >= 2000) {
		y -= 2000;
        }
        if(y >= 100) {
        	 y -= 100;
        }

	// could use splitString() here but the following method is more compatible

	var mmm =
    	( 1==m)?'January':( 2==m)?'February':(3==m)?'March':
        ( 4==m)?'April':( 5==m)?'May':(6==m)?'June':
        ( 7==m)?'July':( 8==m)?'August':(9==m)?'September':
        (10==m)?'October':(11==m)?'November':'December';

    return "" +
        mmm + " " + (d<10?"0"+d:d) + ", 20" +

        (y<10?"0"+y: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-YY

document.write("<H5><CENTER>This page was last updated on " +date_lastmodified()+".</CENTER></H5>");

// -->