circle(1251.357178, 858.356934, 15.000000)
-circle(1251.357178, 858.356934, 6.000000)