( 25 , 424 .)