25263 , 3 .)