Этого делать не нужно, чтобы получить числовой ip введи просто в cmd ping "буквенный ip" и в квадратных скобках отобразиться числовой ip