25312 , 3 .)