var anylinkmenu1={divclass:'anylinkmenu', inlinestyle:'', linktarget:''} 
anylinkmenu1.items=[
	["8905", "interceptors_8905.htm"],	
	["8925", "interceptors_8925.htm"],
	["8930", "interceptors_8930.htm"]//no comma following last entry!
]