F-4 비자로 한국에 들어와있는데 국민건강보험 경험 있으신 분?