function doLink(file, title, prepend) {
  var myloc = new String(window.location);
  var reg1 = /^.+\/([^\/]+)#.*$/;
  var reg2 = /^.+\/([^\/]+)$/;
  var ar = reg1.exec(myloc);

  if (! ar) {
    ar = reg2.exec(myloc);
  }

  if (prepend) {
    document.write(" ◊ ");
  }

  if (ar) {
    if (ar[1] == file) {
      document.writeln("<span class=\"currLink\">", title, "<\/span>");
    }
    else {
      document.writeln("<a href=\"", file, "\">", title, "<\/a>");
    }
  }
  else {
    document.writeln("<a href=\"", file, "\">", title, "<\/a>");
  }
}