What is the abbreviation for Astronaut hall fame?

Looking for the shorthand of Astronaut hall fame or how to abbreviate it? We have 2 shorthands for Astronaut hall fame.