function highlight_link() {
    links = document.getElementById("navigation").getElementsByTagName("a");
    for(var i=0; i < links.length; i++) {
        if (get_page() == links[i].href) {
            links[i].className = "on";
            return;
        }
    }
    links[0].className = "on";
}

function get_page() {
    return window.location.href; //.substr(window.location.href.lastIndexOf("/")+1);
}

function init() {
    highlight_link();
}