global color=blue
circle(308.5657545411d, 41.2890370539d, 18.06")
-circle(308.5657545411d, 41.2890370539d, 7.23")