Вот замечательная функция, которую я недавно обнаружил, я пробовал это на консоли и, похоже, работал:
var text = "border-bottom-left-radius";
var newText = text.replace(/-/g,function(match, index){
return " " + index + " ";
});
Который вернулся: «border 6 bottom 13 left 18 radius»
Так что это похоже на то, что вы ищете.
re.match(r'(?:TEL)?:? ?([0-9 ]{9-12})').group(1)
(?:...)
делает группу без захвата ([0-9 ]{9-12})
захватывает эту часть как группу (1)
Вы можете использовать позитивный взгляд назад.
(?<=TEL: )[0-9 ]{9,12}
Таким образом он проверяет, находится ли строка «TEL:» за числами.
Однако, может быть лучше перебрать строку, и когда она встретит строку TEL, пропустите два символа и возьмите следующие цифры.