global color=blue
circle(80.8026211803d, 33.5110374833d, 12.55")
-circle(80.8026211803d, 33.5110374833d, 5.02")