What to do with an old 401K

What to do with an old 401K