// <script> 

// This function dynamically starts a mailto: 
// This allows email addresses in the web page without
// junk mail web crawlers discovering them...
function mailTo(mbox,mserver)
{
	if(mserver==null)
    	mserver = "mail.rochester.edu";
	window.location = "mailto:" + mbox + "@" + mserver;
}

function insertDivider()
{
//    document.write("<tr height=1 bgcolor='#999999'><td height=1 colspan=2></td></tr>");
//    document.write("<tr height=2 style='margin-bottom:0'><td colspan=2 style='margin-bottom:0'><hr noshade></td></tr>");
    document.write("<tr height=2 style='height:5;margin-bottom:-10'><td colspan=2 style='height:5;margin-bottom:-10'><hr size=1 noshade style='height:5;margin-bottom:-10'></td></tr>");
}
