( 25 , 523 .)