25873 , 3 .)