circle(1143.250000, 547.750000, 15.000000)
-circle(1143.250000, 547.750000, 6.000000)