box(3919.000000, 4016.000000, 4132.000000, 4132.000000, 0.)