3873 ; t0 |3577