box(3134.000000, 5186.000000, 1352.000000, 1352.000000, 0.)