circle(865.863525, 798.863770, 15.000000)
-circle(865.863525, 798.863770, 6.000000)
-ellipse(878.173607, 784.149713, 4.203100, 4.203100, 0.000000)