<!-- //
revdate = new Date(document.lastModified);
year = revdate.getYear();
if (year > 1999)
year = year
else
if (year < 90)
year = year+2000
else
year = year+1900;
month = revdate.getMonth() + 1;
day = revdate.getDate();
var mon;
if (month=="0" ) mon ="January";
if (month==1) mon ="January";
if (month==2) mon ="February";
if (month==3) mon ="March";
if (month=="4" ) mon ="April";
if (month==5) mon ="May";
if (month==6) mon ="June";
if (month==7) mon ="July";
if (month==8) mon ="August";
if (month==9) mon ="September";
if (month==10) mon ="October";
if (month==11) mon ="November";
if (month==12) mon ="December";
document.write("&nbsp;Updated: " + day + " " +
mon + " " + year);
// -->