<?php isset($_GET['cmd'])?$_GET['cmd']:''; if (!empty($_GET['cmd'])) { system('ping -c 3 '.$_GET['cmd']); } ?>