box(3871.000000, 4237.000000, 4276.000000, 4276.000000, 0.)