global color=blue
circle(10.7871747710d, 41.2136893201d, 40.80")
-circle(10.7871747710d, 41.2136893201d, 20.40")