box(3794.000000, 5119.000000, 1202.000000, 1202.000000, 0.)