if (m = document.getElementById ("mainmenu")) {
	for (i=m.firstChild; i; i=i.nextSibling) {
		if (i.href) {
			// alert (i.href + " - " + location.pathname);
			if (i.href.indexOf (location.pathname) >= 0) {
				i.className="active";
			}
		}
	}
}