_END; require_once 'functions.php'; $userstr = " (Guest)"; if (isset($_SESSION['user'])){ $user = $_SESSION['user']; $loggedin = TRUE; $userstr = " ('$user')"; } else { $loggedin = FALSE; } echo <<<_END _END; ?>