What is 401k?

What is 401k?