( 25 , 588 .)