How much does an IRS weigh?