// Pop up a new window on the URL given by loc.
function contactInfo(subject) {
	var address = "&#101;&#101;&#99;&#115;&#119;&#101;&#98;&#109;&#97;&#115;&#116;&#101;&#114;&#64;&#117;&#115;&#109;&#97;&#46;&#101;&#100;&#117;"
	
	if(!subject)
	{
		document.write(document.lastModified + '<br />');
		document.write('Site maintained by <a href=\"mailto:' + address + '\">' + 'EECS Webmaster </a>');
	}
	else
	{
		document.write(document.lastModified + '<br />');
		document.write('Site maintained by <a href=\"mailto:' + address + '?subject=' + subject + '\">' + 'EECS Webmaster </a>');
	}
}

function eaddr(domain, name) {
	document.write('<a href="mailto:' + name + '@' + domain + '">Email</a>');
}
