function thisPage() {
var list = document.getElementById("globalNav");
var page = list.getElementsByTagName("a");
//loop on page.length
for (var i=0; i<page.length; i++){
	if (page[i].href == document.location.href)
		page[i].style.backgroundColor = "#A5CBAF";
	}
}