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 = "current";
	}