box(3800.000000, 3953.000000, 1392.000000, 1392.000000, 0.)