function getFilenameFromUrl(url) {
	var filename = url;
	// remove parameters and anchors
	filename = filename.substring(0, (filename.indexOf("#") == -1) ? filename.length : filename.indexOf("#"));
	filename = filename.substring(0, (filename.indexOf("?") == -1) ? filename.length : filename.indexOf("?"));
	// V4.02 check if URL is a directory, remove leading path, or return 'index.html'
	if ((filename.lastIndexOf(".html")==(filename.length-6)) || (filename.lastIndexOf(".htm")==(filename.length-5))) {
	  filename = filename.substring(filename.lastIndexOf("/") + 1, filename.length);
	}
	else {
	  filename = "index.html";	
	}
	return filename;
}

function initMenu() {
	// highlight the current top-level page in the menu bar
   
   // get filename from current URL
	var currentFile = getFilenameFromUrl(document.location.href);
	
	$('.menuitem').each(function(i,item) {
		if (getFilenameFromUrl($(item).attr('href'))==currentFile) {
			$(item).attr("id","currentitem");
			return false;
		}
	});	
}

$(document).ready(function() {
	initMenu();
});