document.write('<div class="menu">',
	'<table  border="0" cellspacing="0"  width="663" cellpadding=0>',
		'<tr>',
			'<td width="134" >',
				'<p align="center"><a href="search.htm"><b><font class="searchcolor"> </font></b></a></p>',
			'</td>',
			'<td valign="top" width="529" >',
				'<TABLE   class="colormenubg" cellSpacing=2  width="529"  border=0>',
					'<TR class="colormenuoff" >')
					menumain("index","Home")
					menumain("2000_products","Products")
					<!-- menumain("3000_technical","Technical") -->
					menumain("4000_services","Services")
					menumain("5000_locations","Locations")
					menumain("6000_software","Software")
					<!-- menumain("7000_projects","Projects") -->
					document.write('</tr>',
				'</table>',
			'</td>',
		'</tr>',
	'</table>',
'</div>')