’ ( 25372 .)