global color=blue
circle(187.7080077618d, 12.4611439642d, 8.88")
-circle(187.7080077618d, 12.4611439642d, 3.55")