global color=blue
circle(308.5155602867d, 41.1369754171d, 7.38")
-circle(308.5155602867d, 41.1369754171d, 2.95")