What Is The Name Lucky Short For