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