    function switchState(boxID, prefix) {
      var boxObj = document.getElementById(boxID);
      var buttonObj = document.getElementById(boxID+"_anchor");
    if (boxObj.style.display=="none") {
       boxObj.style.display="block";
       buttonObj.src= prefix + "images/abs-up.gif";
       } 
    else { 
       boxObj.style.display="none";
       buttonObj.src= prefix + "images/abs-dn.gif";
       }
    }

