( 25 718 .)