25763 , 3 .)