var W3CDOM = (document.createElement && document.getElementsByTagName)

window.onload = function () {
	if (!W3CDOM) return;
	var x = document.getElementById('leftbar').getElementsByTagName('a');
	for (var i=0;i<x.length;i++)
	{
		if (x[i].href == location.href)
			x[i].parentNode.className = 'here';
	}
}