circle(800.299805, 408.299805, 15.000000)
-circle(800.299805, 408.299805, 6.000000)