Where can he get the papers to apply for a green card and how much does it cost?