What is the abbreviation for Hall airport?

Looking for the shorthand of Hall airport or how to abbreviate it? We have 2 shorthands for Hall airport.