Travel document number is a set of digits that is ... they will get a green card. It does not replace a passport and it does not make you a citizen. You will, however, become a permanent resident ...