What is the abbreviation for Operating system 400?

Looking for the shorthand of Operating system 400 or how to abbreviate it? We have 2 shorthands for Operating system 400.