What is the abbreviation for Florida rock industries inc?

Looking for the shorthand of Florida rock industries inc or how to abbreviate it? We have 3 shorthands for Florida rock industries inc.