global color=blue
circle(80.7074284042d, 33.4253813976d, 7.38")
-circle(80.7074284042d, 33.4253813976d, 2.95")