box(3617.000000, 3865.000000, 3888.000000, 3888.000000, 0.)