I paid off an IRS debt of $9000 in 2017 and I need ot know if the IRS sends be a form to make sure I account for it when I file my taxes?