var menu = new Array();
var fname;

function fname(name) {
	fname = name;
}

function add(name, link) {
	if (link == undefined) {
		link = name.replace(/ö/, "oe");
		link = link.replace(/ä/, "ae");
		link = link.replace(/ü/, "ue");
		link = link.replace(/ /, "");
		link = link.toLowerCase();
	}
	menu[menu.length] = name + ";" + link;
}
function show(menunr) {
	var menusplit = menu[menunr].split(";");
	document.write("<a name=\"" + menusplit[1] + "\"></a><span>");
	if (menunr != 0) {
		document.write("<hr size=1 color=#000000>");
	}
	for (var i = 0; i < menu.length; i++) {
		if (i != 0) {
			document.write(" | ");
		}
		menusplit = menu[i].split(";");
		if (menunr != i) {
			document.write("<a href=\"" + fname + "#" + menusplit[1] + "\" class=\"submenu\">" + menusplit[0] + "</a>");
		} else {
			document.write("<b><span class=\"submenu\">" + menusplit[0] + "</span></b>");
		}
	}
	document.write("</span><br>");
}