var MENU_ITEMS = [
	['<img src=navbar/manufacturers.gif border=0>', null, null,
		['Instrumentation', 'instrumentation.html'],
		['Mechanical', 'mechanical.html'],
		['Environmental', 'environmental.html']
	]
];