circle(258.854462, 424.005829, 25.000000)
-circle(258.854462, 424.005829, 12.500000)