function writeMenuTree(n,urlsOnly) {
	// n = number of top level menus
	// urlsOnly = 0 for normal operaion
	// urlsOnly = 1 to output a url list for a Google Site Map
	for (var i=1; i<=n; i++) {
		var menu = "Menu" + i; 
		writeMenu(menu,0,urlsOnly);
	}
}
function writeMenu(menu,level,urlsOnly) {
	var s, url, regexp = /javascript:top.location.href="(.+)"/;
	var M = eval(menu);
	// M[0] = Label
	// M[1] = Url
	// M[3] = number of children
	if (level == 0) {
		url = M[1].replace(regexp,"$1");
		s = "<li>" + M[0].link(url) + "</li>";
		if (urlsOnly) document.write(url + "<br>");
		else document.write(s);
	}
	for (var i=1; i<=M[3]; i++) {
		var childMenu = menu + "_" + i;
		var C = eval(childMenu);
		indent = (level + 1) * 20;
		url = C[1].replace(regexp,"$1");
		s = "<li style=\"text-indent:" + indent + "px;\">" + C[0].link(url) + "</li>";
		if (urlsOnly) document.write(url + "<br>");
		else document.write(s);
		if (C[3] > 0) writeMenu(childMenu,level+1,urlsOnly);
	}
}