box(4253.000000, 5855.000000, 1132.000000, 1132.000000, 0.)