Пингованию хостов мешает 404-я страница провайдера. Как быть?

какой бы не указывал хост, возвращается 200 OK.
То есть, если хост действительно есть, он сам отвечает, что существует. А если его нет, то открывается страница провайдера, но она же нормально открывается - и тоже отдает 200 ОК.
как быть?

bash, py, php - любое решение, я потом обработаю текст

Примечание:
Юрий, по поводу вашего замечания соглашусь, я тоже ошибался, в частности, полагая, что "их" не склоняется.
Что касается "пинать провайдера", к сожалению, для меня это не выход. Спасибо за вашу помощь.

Кирилл, хорошая идея! Если не получится с ICMP, буду действовать так.

RPI.su - самая большая русскоязычная база вопросов и ответов. Наш проект был реализован как продолжение популярного сервиса otvety.google.ru, который был закрыт и удален 30 апреля 2015 года. Мы решили воскресить полезный сервис Ответы Гугл, чтобы любой человек смог публично узнать ответ на свой вопрос у интернет сообщества.

Все вопросы, добавленные на сайт ответов Google, мы скопировали и сохранили здесь. Имена старых пользователей также отображены в том виде, в котором они существовали ранее. Только нужно заново пройти регистрацию, чтобы иметь возможность задавать вопросы, или отвечать другим.

Чтобы связаться с нами по любому вопросу О САЙТЕ (реклама, сотрудничество, отзыв о сервисе), пишите на почту [email protected]. Только все общие вопросы размещайте на сайте, на них ответ по почте не предоставляется.