circle(522.250000, 715.750000, 15.000000)
-circle(522.250000, 715.750000, 6.000000)