global color=blue
circle(137.3896543638d, -9.6750692454d, 10.58")
-circle(137.3896543638d, -9.6750692454d, 4.23")