function thtoggleFold(sender, id) {
  var elm = document.getElementById(id);
  if (elm.style.display == "none") {
    elm.style.display = "block";
    sender.className = "thunfolded";
  } else {
    elm.style.display = "none";
    sender.className = "thfolded";
  }
}