IRS for 6252