global color=blue
circle(253.4417158743d, 2.5087312129d, 62.05")
-circle(253.4417158743d, 2.5087312129d, 31.03")