global color=blue
circle(137.3376661218d, -9.7176138856d, 12.53")
-circle(137.3376661218d, -9.7176138856d, 5.01")
-ellipse(137.3356082964d, -9.7128499229d, 5.64", 3.70", 144.15)