( 2 ; 25)