global color=blue
circle(47.7816920140d, 1.3060755663d, 7.38")
-circle(47.7816920140d, 1.3060755663d, 2.95")