'; if ($_SERVER['PHP_SELF'] != '/index.php') { echo ''; echo ''; echo ''; } echo '' . $title . ''; echo ''; if (isset($user)) { echo ''; } else { echo ''; echo ''; } echo ''; } } ?>