global color=blue
circle(11.1544170642d, -8.7795894685d, 10.62")
-circle(11.1544170642d, -8.7795894685d, 4.25")