global color=blue
circle(135.7333504412d, 52.0743090623d, 9.98")
-circle(135.7333504412d, 52.0743090623d, 3.99")