25 , 801 .)