Fredholm , 18,000 kubikfot stenkol.