box(3957.000000, 4349.000000, 4042.000000, 4042.000000, 0.)