box(3545.000000, 4202.000000, 3800.000000, 3800.000000, 0.)