/* open and close folds */
function OpenFold(oIDname,oSrc) {
 oID = document.getElementById(oIDname);
 oOpen=oID.getAttribute('open');
 if (oOpen == "open") {
  oID.style.display="none";
  oID.style.visibility="hidden";
  oID.setAttribute('open',"closed");
  oSrc.src="/images/plus.gif";
 } else {
  oID.style.display="table-cell";
  oID.style.visibility="visible";
  oID.setAttribute('open',"open");
  oSrc.src="/images/minus.gif";
 };
};