Source code of session4.php

<?php

  session_start
();

  if (isset(
$_SESSION['username'])) {
    
$username $_SESSION['username'];
  } else {
    
header('Location: session1.php');
    exit;
  }

print <<<END_PAGE
<html>
<head><title>Session Demo</title></head>
<body>
 <p>Thank you for continuing to use our site, $username.  
 <a href='session3.php'>Click here</a>
 to go back.</p>
</body>
</html>
END_PAGE;