var anylinkmenu1={divclass:'anylinkmenu', inlinestyle:'', linktarget:''} //First menu variable. Make sure "anylinkmenu1" is a unique name!
anylinkmenu1.items=[
	["Overview", "photomachining.html"],
	["PM Principles", "process_summary.html"],
	["Capabilities", "capabilities.html"],
	["PM Properties", "photomachining_properties.html"],
	["Advantages", "advantages.html"],
	["How We Compare", "process_comparison.html"],
	["Applications", "applications.html"]//no comma following last entry!
]