global color=blue
circle(185.7520467862d, 11.0888584496d, 12.97")
-circle(185.7520467862d, 11.0888584496d, 5.19")