13. 洞门墙顶应高出仰坡坡脚（ ）以上。

洞口仰坡坡脚至洞门墙背的水平距离不应小于1.5m；洞门端墙与仰坡之间的水沟的沟底至衬砌拱顶外围的高度不应小于1.0m；洞门墙顶应高出仰坡坡脚0.5m以上。