global color=blue
circle(94.7372368139d, -71.0794378494d, 13.13")
-circle(94.7372368139d, -71.0794378494d, 5.25")