circle(712.833252, 215.500000, 15.000000)
-circle(712.833252, 215.500000, 6.000000)