global color=blue
circle(169.7387800559d, 12.5783099475d, 6.15")
-circle(169.7387800559d, 12.5783099475d, 2.46")