Just to put a fine point on it, withdrawals from a 401k can be taken without penalty if one retires during or after the calendar year in which they turn 55. Won't make a difference to many people but for the odd case when one retires prior to their birthday in the calendar year they turn 55 it would be important to know.

Joe