box(5117.000000, 5139.000000, 1350.000000, 1350.000000, 0.)