global color=blue
circle(135.8373931941d, 4.9606075597d, 6.26")
-circle(135.8373931941d, 4.9606075597d, 2.50")