// Displays the date the page was last updated. 
var months = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
var changed = new Date(document.lastModified);
var m_day = changed.getDate();
var m_month = changed.getMonth();
var m_year = changed.getYear();

// convert year for non-Y2K compliant computers
if (m_year < 50)
	{
	m_year = m_year + 2000;
	}
else
    	{
	if (m_year<= 200) m_year = m_year + 1900;
	}

//Output: 
document.write("<br />This page was last updated ");
document.writeln(m_day);
document.writeln(months[m_month]);
document.writeln(m_year);
document.write("By Kathy<br><br>");