What is the abbreviation for Jinnah international karachi pakistan?

Looking for the shorthand of Jinnah international karachi pakistan or how to abbreviate it? We have 2 shorthands for Jinnah international karachi pakistan.