25247 , 3 .)