// $Id: content.js,v 1.1 2003/05/21 12:57:57 enket Exp $

// FUNCTION: doRegex(inRegex)
// Jump from an anchor matched by a regex, to the next anchored regex.
function findNextRegex(inRegex) {
    var myDoc = document;
    var myWin = window;

    // FIXME: Ok, we're using two measures here. For locating the anchor we're
    //        using its name, and for jumping we're using the ID. We have very
    //        good reasons for using the ID to jump, but really, we should
    //        rewrite the locating part to use IDs too. -- PAK 2003/01/14
    var myAnchors = myDoc.getElementsByTagName('A');

    var myRegex = inRegex + 1;
    var myAnchor;

    if (myAnchors['regex-' + myRegex]) {
        myAnchor = 'regex-' + myRegex;
    } else {
        myAnchor = 'regex-0';
    }

    return myAnchor;
}