电梯层门强迫关门装置必须动作正常，层门锁钩必须动作灵活，在证实锁紧的电气安全装置动作之前，锁紧元件的最小啮合长度为（）mm。