function ActivateNavigation() {
	var url = window.location.href;
	var length = url.length;
	while ((url.substring(length,length-1)) != ".") { length--; } var end = length;
	while ((url.substring(length,length-1)) != "/") { length--; } var start = length;
	var id = url.substring(end-1,start);
	document.getElementById(id).id = "active";
}