circle(1238.045410, 881.772705, 15.000000)
-circle(1238.045410, 881.772705, 6.000000)
-ellipse(1219.250000, 883.625000, 5.000000, 5.000000, 113.020813)