var EF_SH1: Int32 { get }