global color=blue
circle(10.8172473230d, 41.3114001622d, 18.07")
-circle(10.8172473230d, 41.3114001622d, 7.23")