"certificate of alien registration" is "외국인 등록증"(oe-gu-gin tŭng-nok-tchŭng) in Korean.