( 2 , 25 ; 2,