var anchors  = document.getElementById("contentLeft").getElementsByTagName("a");

var uri = encodeURI(window.location.href).toLowerCase();

for(var i=0, n=anchors.length; i<n; ++i) {
	if(uri==encodeURI(anchors[i].href).toLowerCase()) {
		anchors[i].className += "navLeftMrk";

		}else{
		anchors[i].className += "navLeft";

	}}