print_head(); ?> print_header(); ?>
logo_FDI-Cines
Bienvenido {$_SESSION["nombre"]}\n"; } else{ echo "

Bienvenido a CompluCine

\n"; } ?>
print_fimls(); ?>
print_footer(); ?>