";
$id_usuario = entrada_limpia ($_SESSION["id_usuario"]);
if (dame_admin($_SESSION["id_usuario"])==1)
echo " ";
else
echo " ";
echo "".$lang_label["has_connected"]. '
['. $id_usuario. ']';
echo ""; echo "  ". $lang_label["logout"]."";
echo " | ";
echo " ". $lang_label["information"]."";
echo ""; echo "  ". $lang_label["help"]."";
}
echo " |