global color=blue
circle(263.2380939661d, 43.7338334417d, 6.44")
-circle(263.2380939661d, 43.7338334417d, 2.57")