function getFunctionText(js) {
  var txt = js;
  txt = txt.replace(/^[^\{]*\{/,"");
  txt = txt.replace(/\}[\}]*$/,"");
  txt = txt.replace(/return[^;]*;/,"");
  return txt;
}

function findAndUseLink(names,title) {
  var a = findLink(names);
  if (a) {
    var href = a.href;
    if (href) {
      if (href.match(/#$/)) {
        var js = String(a.onclick);
        var txt = getFunctionText(js);
        setTimeout(txt,1);
      } else if (href.match(/^javascript\:/)) {
        var js = href.replace(/^javascript\:/,"");
        setTimeout(txt,1);
        alert("js="+js);
      } else {
        var url = String(href);
        document.location = url;
      }
    }
  } else {
    alert("Could not find a " + title + " link");
  }
}

function findLink(names) {
  for (var i=0; i<names.length; i++) {
    var n = names[i];
    var link = searchForLink(n);
    if (link) return link;
  }
  return null;
}

function searchForLink(name) {
  name = name.toLowerCase();
  var as = document.getElementsByTagName("a");
  for (var i=0; i<as.length; i++) {
    var a = as[i];
    if (!a.innerHTML) continue;
    var s = a.innerHTML;
    s = s.replace(/^\s+/,"");
    s = s.replace(/\s+$/,"");
    s = s.toLowerCase();
    if (s == name) return a;
  }
  return null;
}