As a tax base in business versus residential, how much revenue was being pulled from the mills when they were booming?