( 13 , 517 .)