Lucky number, lucky lottery for this draw, lottery envelopes running on one digit, accurate, draw on 16 July 2023