( 25 , 840 .)