80.洞门前端墙或上翘高度应高出坡脚不小于（ ）m。