( 13 , 523)