401k Withdrawal for a house?

I friend got the 8K plus another 20 K grant (every year you live there knocks off 2K of it) She is going to get me some details.