function writeEmailLink(address,description) {	var i = address.indexOf('$');	var fixedEmail = address.substring(i+1,address.length) + String.fromCharCode(64) + address.substring(0,i);	var linkStr = '<a href="' + '&#109;&#97;&#105;' + '&#108;&#116;&#111;&#58;' + fixedEmail + '" title="' + fixedEmail + '">';	document.write(linkStr + description + '<\/a>');	}function writeModifiedDate() {	modDate = new Date(document.lastModified);	modYear = modDate.getFullYear();	modMonth = modDate.getMonth() + 1;	if (modMonth < 10) modMonth = '0' + modMonth;	modDay = modDate.getDate();	if (modDay < 10) modDay = '0' + modDay;	document.write('Updated: ' + modYear + '-' + modMonth + '-' + modDay);	}
