( 25 765 .)