global color=blue
circle(187.7625892148d, 12.2382313878d, 24.09")
-circle(187.7625892148d, 12.2382313878d, 9.63")