global color=blue
circle(137.4321451932d, -9.6121740162d, 12.71")
-circle(137.4321451932d, -9.6121740162d, 5.08")