12 , 25 .)