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