<!--
function toggle(id) {
  var e = document.getElementById(id);
  if (e) {
    if (e.className == "closed")
      e.className = "open";
    else
      e.className = "closed";
  }
  var e = document.getElementById('h'+id);
  if (e) {
    if (e.className == "closed")
      e.className = "open";
    else
      e.className = "closed";
  }
  var e = document.getElementById('b'+id);
  if (e) {
    if (e.className == "closed")
      e.className = "open";
    else
      e.className = "closed";
  }
}
// -->