function nav(navid, navtext, navbgcolor) {

	document.getElementById(navid).style.backgroundColor=navbgcolor;
	window.status=navtext;

}