// update top menu
var url = unescape(window.location);

var url_fin = url.lastIndexOf('-');
var url = url.substr(0, url_fin) + '.html';

var submenu = document.getElementById('subMenu');
var a = submenu.getElementsByTagName('a');
var a_nb = a.length;

for(var i = 0; i <= a_nb; i++)
{
	var item = a[i];
    if(item == url)
    {
       item.style.color = '#4e6e7e';
    }
}

// update menu left
var url2 = unescape(window.location);

var submenu2 = document.getElementById('leftCol');
var a2 = submenu2.getElementsByTagName('a');
var a_nb2 = a2.length;

for(var i = 0; i <= a_nb2; i++)
{
    var item2 = a2[i];
    if(item2 == url2)
    {
       item2.style.color = '#4e6e7e';
    }
}