";
if (isset ($_SESSION["id_usuario"])){
// Fist column
echo "";
$id_usuario = entrada_limpia ($_SESSION["id_usuario"]);
if (dame_admin($_SESSION["id_usuario"])==1)
echo " ";
else
echo " ";
echo "".$lang_label["has_connected"]. '
['. $id_usuario. ']';
// Second column
echo " | ";
echo " ". $lang_label["information"]."";
// Third column
echo " | ";
// Autorefresh
if ((isset($_GET["refr"])) OR (isset($_POST["refr"]))) {
echo " ". lang_string("Autorefresh")."";
} else {
echo " ". lang_string("Autorefresh")."";
}
echo " |