The green card is officially known as a Permanent Resident Card.