問個問題：外國人在美工作時交的401K以後離開美國的時候可以免稅提走嗎？

有沒有綠卡有區別嗎？謝謝。