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