global color=blue
circle(137.4424376390d, -9.7770954449d, 10.13")
-circle(137.4424376390d, -9.7770954449d, 4.05")