circle(835.240459, 728.816439, 9.861036)
-circle(835.240459, 728.816439, 3.944415)
-ellipse(846.515793, 722.120037, 4.859380, 4.859380, 0.000000)