function swap(swapHref, newHref) {
var docLinks = new Array();
  for (i=0; i < document.links.length; i++) {
   docLinks[i] = document.links[i].href;
  }
  for (i=0; i<docLinks.length; i++) {
    if (docLinks[i] == swapHref) {
      document.links[i].href = newHref;
    }
  }
}