global color=blue
circle(150.2552213926d, 2.2242420786d, 12.02")
-circle(150.2552213926d, 2.2242420786d, 4.81")