What is the abbreviation for Hard rock mine?

Looking for the shorthand of Hard rock mine or how to abbreviate it? We have 2 shorthands for Hard rock mine.