function updateMenu(newPageURL) {
    var navLinks = document.getElementById('menu').getElementsByTagName("a");

    for (var i = 0; i < navLinks.length; i++) {
        var str = navLinks[i].href;
        if (str.indexOf(newPageURL) > -1) {
            navLinks[i].className = "on";
            break;
        }
    }
}