global color=blue
circle(47.8734836863d, 1.3293150004d, 4.92")
-circle(47.8734836863d, 1.3293150004d, 1.97")