( 25 584 .)