Pick the cash lump sum option. About what percent of the jackpot do you actually take home after federal taxes?