<!--

function set_vis(show_name, hide_name) {
	document.getElementById(show_name).style.display="";
	document.getElementById(hide_name).style.display="none";
}

-->