box(3835.000000, 3952.000000, 3996.000000, 3996.000000, 0.)