global color=blue
circle(47.5218796162d, -20.5140566756d, 20.01")
-circle(47.5218796162d, -20.5140566756d, 8.00")