( 25 , 711 .)