使七万人扛抬材料，八万人在山上凿石头，三千六百人督理工作。