Abbreviation of unique identifier.