circle(518.356934, 923.071289, 15.000000)
-circle(518.356934, 923.071289, 6.000000)