circle(1054.833252, 1058.166748, 15.000000)
-circle(1054.833252, 1058.166748, 6.000000)