global color=blue
circle(11.2555785434d, -8.9187081393d, 9.59")
-circle(11.2555785434d, -8.9187081393d, 3.84")