global color=blue
circle(47.8056869447d, 1.3100531781d, 6.18")
-circle(47.8056869447d, 1.3100531781d, 2.47")