@ -40,6 +40,7 @@ etc...
</div>
<div class="option">
<h2><?php if(isset($_COOKIE['username'])) { echo $_COOKIE['username'];} ?></h2>
<h2>machine coins : <h2 id="machine_coins"> </h2></h2>
<h2>player coins : <h2 id="player_coins"> </h2></h2>