function modifyDate() {
	
var months = new Array();
months[1] = "January";
months[2] = "February";
months[3] = "March";
months[4] = "April";
months[5] = "May";
months[6] = "June";
months[7] = "July";
months[8] = "August";
months[9] = "September";
months[10] = "October";
months[11] = "November";
months[12] = "December";

dateObj = new Date(document.lastModified);
lmonth = months[dateObj.getMonth() + 1];
date = dateObj.getDate();
year = dateObj.getYear();
if (year < 1000) year += 1900;

pagemod = document.write ("Last updated:" + " " + lmonth + " " + date + ", " + year);

return pagemod;
}

function protectAddress( name, account, domain )	{
var tag1 = "mai"
var tag2 = "lto:" 
document.write("<a h" + "ref=" + tag1 + tag2 + account + "@" + domain + ">"+name +"</a>");
}