circle(251.855606, 377.762299, 25.000000)
-circle(251.855606, 377.762299, 12.500000)
-ellipse(240.313721, 380.378418, 10.000000, 10.000000, 0.000000)