global color=blue
circle(47.8629616194d, 1.3025327407d, 5.63")
-circle(47.8629616194d, 1.3025327407d, 2.25")