( 20 , 523 .)