function display(display_target) {
  if (display_target.style.display=="none") { display_target.style.display="" } else { display_target.style.display="none" }
}