box(3813.000000, 4271.000000, 1012.000000, 1012.000000, 0.)