global color=blue
circle(137.5111179233d, -9.7104259201d, 8.55")
-circle(137.5111179233d, -9.7104259201d, 3.42")