global color=blue
circle(81.8456877299d, -12.6683709958d, 12.58")
-circle(81.8456877299d, -12.6683709958d, 5.03")