global color=blue
circle(47.8351820608d, 1.3115547481d, 8.10")
-circle(47.8351820608d, 1.3115547481d, 3.24")