box(4203.000000, 4308.000000, 4258.000000, 4258.000000, 0.)