', $_SESSION['user']->getId());
printf('Nombre: %s
', $_SESSION['user']->getNombre());
printf('Apellido: %s
', $_SESSION['user']->getApellido());
printf('Email: %s
', $_SESSION['user']->getEmail());
printf('Créditos: %s
', $_SESSION['user']->getCreditos());
printf('Admin: %d
', $_SESSION['user']->esAdmin());
printf('Asesor: %d
', $_SESSION['user']->esAsesor());
echo ''; var_dump($_SESSION['user']); echo '
';
pagina_pie('Leandro Lucarella', 'llucare@fi.uba.ar');
?>