function toggle_visibility(id) {
	  var e = document.getElementById(id);
	  if(e.style.display == 'block')
		e.style.display = 'none';
	  else
		e.style.display = 'block';
	  }