function announcement_visible()
{
	document.getElementById('announcement').style.visibility = "visible";
}

function announcement_invisible()
{
	document.getElementById('announcement').style.visibility = "hidden";
}