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

    for (var i = 0; i < navLinks.length; i++) 
    {
        var str = new String(navLinks[i].href);
       

        //if (str.indexOf(newPageURL) > -1) 
        if (str == newPageURL)
        {
            navLinks[i].className = "on";
            
        }
    }
}