if ($_SERVER['SCRIPT_NAME'] == '/spaces.php' && isset($_SESSION['user'])) { echo ' '; } ?>