原文:门洞一般尺寸是多大