"; echo "Bienvenido "; echo $SESSION["nombre"]." "; echo $SESSION["apellidos"]; echo "
Has entrado con el nombre de usuario "; echo $SESSION["login"]; echo "
Para cerrar la sesión, pulsa: logout"; echo ""; } ?>