( 25 , 584 .)