global color=blue
circle(137.4396337597d, -9.6547930631d, 13.28")
-circle(137.4396337597d, -9.6547930631d, 5.31")