global color=blue
circle(226.5329337319d, 1.6452852294d, 6.25")
-circle(226.5329337319d, 1.6452852294d, 2.50")