function retitle(newtitle)
{
	document.title = document.title + ' - ' + newtitle;
}

function expand_mm()
{
	document.getElementById('minutes').style.display = "block";
	document.getElementById('control_mm').innerHTML = '&ndash; <a href="JavaScript:collapse_mm()">Announcements</a>';
}

function collapse_mm()
{
	document.getElementById('minutes').style.display = "none";
	document.getElementById('control_mm').innerHTML = '+ <a href="JavaScript:expand_mm()">Announcements</a>';
}