global color=blue
circle(135.6182185650d, 52.0153167636d, 9.31")
-circle(135.6182185650d, 52.0153167636d, 3.73")