( 10 ; 25)