■ * ' ( 25501 .)