在砖墙中留施工洞时，洞边距墙体交接处的距离不得小于（）。