var TREE_NODES = [
		["", "javascript:void(0);", null ,{"format":{"expanded":true}}, 
			["Manufacturing Home", "/applications/manufacturing/intro.html", "_top"],
			["Resource Library", "/applications/manufacturing/collateral.html", "_top"],
			["Customers", "/customers/products/manufacturing.html", "_top"],
			["Consulting", "/consulting/applications/index.html", "_top"],
			["On Demand", "/ondemand/ebso.html", "_top"],
		
	]
];