// enables JavaScript-enabled browsers to display chosen categories, while allowing the others to point to the categories; needed only for use with links that point to other pages
function changeCatLinks() {
var catLinks = document.getElementsByName("catLink");
 for (i=0;i<catLinks.length;i++)
  catLinks[i].href=catLinks[i].href.replace("#","?");
}