( 9 , 523 .)