box(3904.000000, 4130.000000, 4252.000000, 4252.000000, 0.)