var PT_NUM: Int32 { get }