global color=blue
circle(308.5861673856d, 41.1586149067d, 7.38")
-circle(308.5861673856d, 41.1586149067d, 2.95")