钢筋混凝土框架或框-剪结构房屋当必须设置防震缝时，若高度不超过15m，缝宽不应小于( )mm。