center>
<h3>Search for player</h3>
<form action="index.php?page=SearchPlayer" method="get">
<input type="hidden" name="page" value="SearchPlayer" />
Player name: <input type="text" name="player" />
<input type="submit" value="Submit"/>
</form>
</center>
<hr>
<?php
if (isset($_GET['player'])) {
   echo "<center><b>Player stats for " . $_GET["player"] . ":</b><br><br></center>";
   $command = "/usr/bin/python2 /srv/http/scripts/user_stats.py " . $_GET["player"];
   exec($command, $output);
   foreach ($output as &$value) {
      echo $value;
   }
}
?>