function div_toggle_display(id) {
  var display = div_get_display(id);
  if (display=="block") {
    div_display_off(id);
  } else {
    div_display_on(id);
  }
}
function div_display_on(id) {
  document.getElementById(id).style.display="block";
}
function div_display_off(id) {
  document.getElementById(id).style.display="none";
}
function div_get_display(id) {
  return document.getElementById(id).style.display;
}