circle(872.357178, 738.261719, 15.000000)
-circle(872.357178, 738.261719, 6.000000)