Por ello su primer nombre es el código de base de datos 31/439 (de acuerdo con el año y orden de su descubrimiento).