circle(708.833252, 707.500000, 15.000000)
-circle(708.833252, 707.500000, 6.000000)