if (!isset($_SESSION["UID"])) { echo ''; } else { echo '';