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