/* Sets the class name of the activated menu item to "here" */
function setHere(theId, theName) {
  // reset all tagged as "theName"
  allTags = document.getElementsByName(theName);
  for (i = 0; i < allTags.length; i++) {
      if (allTags[i].style.display != "none") { /* Skip those explicitly suppressed */
        allTags[i].className = "notHere";
      }
    }
  currTag = document.getElementById(theId);
  currTag.className = "here";
}