43 .何为洞门？洞门形式主要有哪些？