global color=blue
circle(124.2644532960d, -7.5790231274d, 11.67")
-circle(124.2644532960d, -7.5790231274d, 4.67")