function documentName() {
	var file_name = document.location.href;
	var end = (file_name.indexOf("?") == -1) ? file_name.length : file_name.indexOf("?");
	return file_name.substring(file_name.lastIndexOf("/")+1, end);
}

var fname=documentName();
if (fname=="") fname="home";
if (document.body.id=="phpbb") fname="forum";

var elementNodeReference = document.getElementById(fname);
if (elementNodeReference!=null) {
	elementNodeReference.setAttribute("class", "active"); 
	elementNodeReference.setAttribute("className", "active"); // IE
}