function donav() {
	document.getElementById('nav_proposed').style.visibility='hidden';
	document.getElementById('nav_news').style.visibility='hidden';
}