<?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>
Thank you for continuing to use our site, $username.
<a href='session4.php'>Click here</a>
to use a different page.
</body>
</html>
END_PAGE;