25123 , 3 .)