function changeMenuVis(id, make_visible) 
{
	if (! document.getElementById) {
		return true;
	}

	element = document.getElementById(id);
	
	if (make_visible) {
		element.style.visibility = 'visible';
	}
	else {
		element.style.visibility = 'hidden';
	}
	
	return true;
}