global color=blue
circle(47.8635967795d, 1.3081503354d, 4.84")
-circle(47.8635967795d, 1.3081503354d, 1.94")