// FUNCTION: doVoetnoot(inIndex)
// Jump to the given footnote. Note that the current element remains
// the same, so we do not have to call doJump.
function doVoetnoot(inIndex) {
    if (checkLoaded()) {
        var myWin = window;

        doJumpToId('voetnoot-bottom-' + inIndex);
    }

    return;
}


// FUNCTION: doVoetnootBack(inIndex)
// Jump back from the footnote to the anchor in the main text.
function doVoetnootBack(inIndex) {
    if (checkLoaded()) {
        var myWin = window;

        // Use jumping to IDs as it is much more reliable in the various
        // browsers than jumping to anchors using location.hash.
        if (doJumpToId('voetnoot-body-' + inIndex)) {
            // Re-shuffle the current element.
            doJumped('voetnoot-body-' + inIndex);
        }
    }

    return;
}