function toggle_vis(id){
	var el = document.getElementById(id);
	if(el.style.display!='block') el.style.display= 'block';
	else el.style.display= 'none';
}