instead of `7|8|9|10|11` we should make a character class lie: `[7-11]`