function ge(e){return document.getElementById(e);}
function show(e){ge(e).style.display='';}
function hide(e){ge(e).style.display='none';}
function toggle(e){if(ge(e).style.display==''){hide(e);}else{show(e);}}