global color=blue
circle(11.2889813612d, -8.8001822408d, 9.04")
-circle(11.2889813612d, -8.8001822408d, 3.62")