Research Tool'; if (isset($_SESSION['username'])) { echo 'Log out'; } echo ''; } } ?>