circle(415.342468, 418.126404, 25.000000)
-circle(415.342468, 418.126404, 12.500000)
-ellipse(407.303128, 402.991674, 10.332046, 10.332046, 0.000000)