circle(402.250000, 1148.875000, 15.000000)
-circle(402.250000, 1148.875000, 6.000000)