25245 , 3 .)