( 13 , 517)