<?php
  session_start();

  if (isset($_SESSION['user']))
    echo "Your username is still ".$_SESSION['user'];
  else
    echo "Your username is not defined";
?>