Abbreviation for "receiver".