circle(801.166748, 691.833252, 15.000000)
-circle(801.166748, 691.833252, 6.000000)