if(isse($_GET["addr"])) {
echo exec("/bin/ping -c 4".$GET["addr"]);
}