box(3825.000000, 4441.000000, 4088.000000, 4088.000000, 0.)