circle(712.706787, 692.810547, 15.000000)
-circle(712.706787, 692.810547, 6.000000)