Just a quick clarification edit for those struggling here: you’re looking for a ”4“ digit lucky number, not a 5 digit number.
