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