global color=blue
circle(137.3539436949d, -9.7596356572d, 12.35")
-circle(137.3539436949d, -9.7596356572d, 4.94")