After you file

You need to call the IRS to get that back.