Oficialmente, a los ratones, cuatro machos y una hembra, se les asignaron los números de identificación A3326, A3400, A3305, A3356 y A3352.