' ( 25241 .)