2416 ) ( 12280 .)