box(3938.000000, 5853.000000, 1130.000000, 1130.000000, 0.)