( 2 , 523 .)