global color=blue
circle(47.8004518282d, 1.3870812996d, 14.47")
-circle(47.8004518282d, 1.3870812996d, 5.79")