global color=blue
circle(10.6773600677d, 41.2831635569d, 9.42")
-circle(10.6773600677d, 41.2831635569d, 3.77")