function switch_element(element)
{
  element.style.display = ((element.style.display == "none") ? "block" : "none");
}