25431 , 3 .)