box(4231.000000, 3799.000000, 1012.000000, 1012.000000, 0.)