Redefined lucky_numbers