var menuBuilded = false;
function buildMenu() { 
	if (menuBuilded) { return; }
	var menu=new XMLMenu("menuSource"); 
	document.getElementById("menu").appendChild(menu.getRootNode()); 
}