function getElement(id) {
	if(document.getElementById) return document.getElementById(id);
	else if(document.all) return document.all[id];
	/* and why the heck not */
	else if(document.layers) return document.layers[id];
}

function iter(a,f) {
	for(var i=0;i<a.length;i++) {
		f(a[i]);
	}
}

window.onload = function() {
	iter(getElement("left-column").getElementsByTagName("A"), function(x) {
		if(x.href == top.location.href) {
			x.className = x.className + " currentpage";
		}
	})
}