function hilightLink () {
    var frameLeft = document.getElementById("frameLeft");
    var links = frameLeft.getElementsByTagName("a");
    for (var i = 0; i < links.length; ++i) {
        if (document.URL == links[i]) {
            links[i].style.backgroundColor = "#03153d";
        }
    }
}