<?
    $host = $_GET[ 'host' ];
       $host = preg_replace( "/[^A-Za-z0-9.-]/", "", $host );
       echo( "<pre>" );
    system("ping -n 6 $host");
       echo( $system );
       echo( "</pre>" );
?>