box(5030.000000, 3884.000000, 4238.000000, 4238.000000, 0.)