25093 , 3 .)