( 13 , 712)