/*
 *************************************************
 * Writes Date of Last Document Modification to Page *
 *************************************************
 */

    var mdate = new Date;
    mdate.setTime(Date.parse(document.lastModified));
    dstring = unescape(escape(mdate));
    elements = dstring.split(" ");
    s = "Last modified on ";
    s = s + elements[1] + ". ";
	s = s + elements[2] + ",  ";
	s = s + elements[5] + "  ";
	s = s + elements[4] + "  ";
	
document.write(s);