pagina_check_login();
pagina_cabecera();
-ok('Hola Mundo!');
+ok('Hola '.$_SESSION['user']->toHtml().'!');
printf('ID: %s<br/>', $_SESSION['user']->getId());
printf('Nombre: %s<br/>', $_SESSION['user']->getNombre());
printf('Apellido: %s<br/>', $_SESSION['user']->getApellido());