global color=blue
circle(22.8356409359d, -6.7633441444d, 9.54")
-circle(22.8356409359d, -6.7633441444d, 3.82")