’ ( 25255 .)