( 25 , 828 .)