global color=blue
circle(10.7185519278d, 41.2801920651d, 7.38")
-circle(10.7185519278d, 41.2801920651d, 2.95")