box(3972.000000, 4274.000000, 4042.000000, 4042.000000, 0.)