global color=blue
circle(80.7191334461d, 33.5592576282d, 15.00")
-circle(80.7191334461d, 33.5592576282d, 6.00")