function highlite(id)
{
  el = document.getElementById(id);
  el.style.backgroundColor = "#efefef";
}

function unhighlite(id)
{
  el = document.getElementById(id);
  el.style.backgroundColor = "#ffffff";
}

function toggle(id)
{
  el = document.getElementById(id);
  if (el.style.display != "none") {
    el.style.display = "none";
  }
  else {
    el.style.display = "";
  }
}