<!--




//Auto handling of document update text




var updated = new Date(document.lastModified);




var mth = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");




var yr = updated.getYear();




if (yr < 1000) {yr = yr + 1900}; //Cases where date is 00 -> 100 for 1999 -> 2000




if (yr < 1950) {yr = yr + 100}; //Cases where date is 00, 01, 02, ...50




var formattedDate = mth[updated.getMonth()] + " " + updated.getDate() + ", " + yr;




//Writes w/o newline character at end




document.write("<FONT SIZE='1' FACE='Arial,Helvetica,Geneva,Swiss,SunSans-Regular'  color='white'>");




document.write("Last updated: " + formattedDate);




document.write("</FONT>");




//-->