circle(257.657898, 415.662659, 25.000000)
-circle(257.657898, 415.662659, 12.500000)