global color=blue
circle(253.2454362988d, 2.4010515351d, 282.37")
-circle(253.2454362988d, 2.4010515351d, 141.19")