( 13 , 523 ).