box(3895.000000, 4187.000000, 4256.000000, 4256.000000, 0.)