9.4 排水洞施工