box(3825.000000, 3948.000000, 4012.000000, 4012.000000, 0.)