What is the IRS's share in the treasure?