function toggle(tgt)
{
  tgt = document.getElementById(tgt);
  if (tgt.style.display == "none")
    tgt.style.display = ""
  else
    tgt.style.display = "none"

}