Как обработать номер чтобы начинался с 7 ?

[art22]

Как обработать номер телефона так, чтобы в итоге номер начинался с 7 в место 8.
А если нет в начале 7 или 8 то добавить 7

89001002030 - поменять на 7
9001002030 - добавить 7
79001002030 Итог

 

[doc]

8?(?=\d{10})
заменить по регулярке на 7

 

[art22]

Не корректно работает.

Когда 8 в начале добавляет две штуки 77. Получается 779001002030

Когда номер такой 9001002030, добавляет 7 это отлично

Но когда 79001002030, добавляет две штуки 77 получается 7779001002030

При трех раскладах итог должен быть 79001002030

 

[Dimionix]

Заменить .*(\d{10})$ на 7$1
или ^.*(?=\d{10}$) на 7

 

[Solus]

Заменить (?<=)(8|)(?=[^7]) на 7
ps: под Ваши примеры номеров