circle(415.255737, 418.036926, 25.000000)
-circle(415.255737, 418.036926, 12.500000)
-ellipse(407.269531, 402.881287, 10.000000, 10.000000, 0.000000)