function $(id) {
  return document.getElementById(id);
}

function div_show(id) {
  $(id).style.visibility='visible';
  $(id).style.display='block';
}
function div_hide(id) {
  $(id).style.visibility='hidden';
  $(id).style.display='none';
}
function div_showhide(id) {
  if ($(id).style.visibility == 'hidden')
    div_show(id);
  else
    div_hide(id);
}