global color=blue
circle(187.7048532742d, 12.4345253956d, 8.13")
-circle(187.7048532742d, 12.4345253956d, 3.25")