global color=blue
circle(263.2331719244d, 43.7349789988d, 6.40")
-circle(263.2331719244d, 43.7349789988d, 2.56")