' ( 25534 .)