box(3867.000000, 5845.000000, 1154.000000, 1154.000000, 0.)