This can be done with just `/\d{5}/`, no mapping or compacting required (may need word boundaries `\b` on either side)