global color=blue
circle(47.7805450700d, 1.3975024328d, 11.32")
-circle(47.7805450700d, 1.3975024328d, 4.53")