( 13 , 717)