window.onload = function()
{
	var filepath = document.location.toString();
	filepath = filepath.split("/");
	var filename = (filepath[filepath.length-1] != '') ? filepath[filepath.length-1] : filepath[filepath.length-2];
	try
	{
		var section = filename.split(".");
		document.getElementById(section[0]).id = section[0] +'_selected';
	}
	catch(err)
	{
		var section = filepath[filepath.length-2];
		var elmt = document.getElementById(section);
		if(elmt != null)
		    elmt.id = section +'_selected';
	}
}