"; echo htmlspecialchars("Your full name is $forename $surname."); } else echo "Please click here to log in."; function destroy_session_and_data() { $_SESSION = array(); setcookie(session_name(), '', time() - 2592000, '/'); session_destroy(); } ?>