global color=blue
circle(11.3525463952d, -8.7845452039d, 11.77")
-circle(11.3525463952d, -8.7845452039d, 4.71")