function toggle_vis(obj_id){
	var obj=document.getElementById(obj_id).style;
	if (obj.visibility=='hidden'){
		obj.display='block';
		obj.visibility='visible';
	}else{
		obj.display='none';
		obj.visibility='hidden';	
	}
}
function switch_vis(obj_id, state){
	var obj=document.getElementById(obj_id).style;
	if (state==1){
		obj.display='block';
		obj.visibility='visible';
	}else{
		obj.display='none';
		obj.visibility='hidden';	
	}
}