To avoid repetition, `\d\d\d\d\d` could instead be `\d{5}`