某工业厂房大门门宽3m，附加梁标高4m，墙体在标高3m处设有圆梁，则在门的上方设置的附加梁长度至少为（  ）。

当圈梁遇到洞口不能封闭时，应在洞口上部设置截面不小于圈梁截面的附加梁，其搭接长度不小于1m，且应大于两梁高差的2倍。则附加梁长度为：3+2×1×2=7m。