var anylinkmenu1={divclass:'anylinkmenu', inlinestyle:'', linktarget:''} 
anylinkmenu1.items=[
	["8510", "interceptors_8510.htm"],
	["8510E", "interceptors_8510e.htm"],
	["8560", "interceptors_8560.htm"]//no comma following last entry!
]