I took out of my 401k in the amount of $5000 and am paying it back. Wasn't sure how to claim this.