box(4257.000000, 4718.000000, 4088.000000, 4088.000000, 0.)