Как в списке id vk сделать замену на цифровые id

Добрый вечер!

Есть список id vk из 1000 чел. Большинство айдишек в виде https://вк.ком/username

Для того чтобы загрузить список в аудиторию ретаргетинга айдишки должны быть в виде https://вк.ком/id1234567 (только цифры)

Как вытаскивать айди вручную - понятно (открыть фото профиля и посмотреть в адресной строке).

Вопрос: есть ли в каком-нибудь парсере функционал, чтобы автоматически поменять юзернеймы на цифры?