某钢铁厂用1000t含氧化铁80%的赤铁矿石，理论上可冶炼出含杂质4%的生铁的质量是多少？