( 25 , 223 .)