* ( 25424 .)