global color=blue
circle(47.7912242641d, 1.3386570626d, 8.88")
-circle(47.7912242641d, 1.3386570626d, 3.55")