box(3893.000000, 4172.000000, 4278.000000, 4278.000000, 0.)