' ( 25732 .)