circle(517.333496, 584.000000, 15.000000)
-circle(517.333496, 584.000000, 6.000000)