circle(873.250000, 864.125000, 15.399608)
-circle(873.250000, 864.125000, 6.159843)