Retirement tax questions

Better be safe and report the full 17k as income then expense the 6.5k.