box(3872.000000, 4222.000000, 4254.000000, 4254.000000, 0.)