function fixNavBar()
{
    var left = document.getElementById("left");
    lis = left.getElementsByTagName("li");
    for (var i = 0; i < lis.length; i++) {
        var a = lis[i].getElementsByTagName("a");
        if (a.length > 0) {
            if (a[0].href == document.location) {
                a[0].removeAttribute("href");
                a[0].style.fontWeight = "bold";
            }
        }
    }
}

function init()
{
    fixNavBar();
}

window.onload = init;