function mainmenu() {
	var m = document.location.href.match(/^http:\/\/[^\/]+\/?(.*?)(\?.*?)?(#.*)?$/);
	var url = m[1];
	var mm = document.getElementById('mainmenu');
	var lnks = mm.getElementsByTagName('a');
	for (var i=0;i<lnks.length;i++) {
		lnk=lnks.item(i);
		var href = lnk.getAttribute('href');
		var m = href.match(/^(?:http:\/\/[^\/]+)?\/?(.*?)(\?.*?)?(#.*)?$/);
		var adr = m[1];
		if (adr == url) {
			lnk.className="selected";
		} else {
			var m = adr.match(/^(.+)\.html$/);
			if (m) {
				var prefix = m[1];
				if (url.indexOf(prefix) == 0) {
					lnk.className="selected";
				}
			}
		}
	}
}