var path = window.location.pathname;
	path.match("([^/]+)$");
var file = RegExp.$1;
if( !file ){ file = 'index.html';}

var el=document.getElementsByTagName('a');
for (i=0; i<el.length; i++)
{
	if(el[i].getAttribute('href', 2)==file)
	{
		el[i].className=el[i].className + " active";
	}
}