global color=blue
circle(10.7496295519d, 41.2683252611d, 9.40")
-circle(10.7496295519d, 41.2683252611d, 3.76")