This is a nice way to avoid repeating the digit groups! For reference, `[0-9]` can be abbreviated to `\d`