box(3890.000000, 4262.000000, 4240.000000, 4240.000000, 0.)