function change_vis(obj_name) {
	obj = document.getElementById(obj_name);
	if(obj.style.visibility == "hidden") {
		obj.style.visibility = "visible";
		obj.style.display = "block";
	} else {
		obj.style.visibility = "hidden";
		obj.style.display = "none";
	}
}//change_vis()