// A function to display the last modification date for a page.

function lastModifiedDate()
	{
	var d = new Date(document.lastModified)
	document.write("Last Modified: ")
	document.write(d.getMonth() + 1)
	document.write("/")
	document.write(d.getDate())
	document.write("/")
	document.write(d.getFullYear())
	}

// A function to provide privacy for e-mail addresses.

function mailRoutine(name, mailname, mailaddress)
	{
	document.write("<a href=\"mailto:"+mailname+"&#64;"+mailaddress+"?subject=Boston%20SPIN\" onFocus=\"window.status='Address e-mail to "+name+" (new window)';\" onmouseover=\"window.status='Address e-mail to "+name+" (new window).';return true;\" title=\"Address e-mail to "+name+" (new window).\">"+name+"</a>");
	}