<?php if(isset($_SESSION['username']))
      {
       ?>
      Welkom <?php echo("{$_SESSION['username']}"."<br />"); ?></a></li><?php
      }
      else
      {
      echo "U bent niet ingelogd"; ?></a></li><?php
      }
      ?>