洞门墙顶应高出仰坡坡脚( )m以上。