global color=blue
circle(80.8017004864d, 33.4097656040d, 21.25")
-circle(80.8017004864d, 33.4097656040d, 8.50")