Otro nombre usado era Lucky, basado en una antigua broma inglesa.