function getMenuTitle( menu )
{
	return menu.name;
}

function getMenuItems( menu )
{
	var html = "";
	var itemList = menu.itemList;
	
	for( j = 0; j < itemList.length; j++ )
	{
		html += "<li class='leaf'><a href='" + itemList[j].href + "'"  +
					(itemList[j].target != null ? "target='" + itemList[j].target + "'" : "") +
						">" + itemList[j].name + "</a></li>";
	}

	return html;
}

function createMenu( name )
{
	var menu = new Object();

	menu.name = name;
	menu.itemList = new Array();

	return menu;
}

function addMenuItem( menu, name, href, target )
{
	var item = new Object();
	
	item.name = name;
	item.href = href;
	item.target = target;
	
	menu.itemList[menu.itemList.length] = item;
	
	return item;
}

function debug( str )
{
	java.lang.System.out.println( str );
}