( a.isns ) ( 4507)