12424 ) ( 2217 .)