global color=blue
circle(47.7900688591d, 1.3517772755d, 7.87")
-circle(47.7900688591d, 1.3517772755d, 3.15")