function toggle_visibility(a){a=document.getElementById(a);a.style.display=a.style.display=="block"?"none":"block"};