<?php
    //Se define un nombre para la sesion:
    session_name("barques_session");
    
    //Se abre la sesion o se continua si ya ha sido abierta:
    session_start("barques_session");
    
    //Almacena el nombre generico de la pagina:
    $nombre_generico = "menu";

    //Guarda el nombre de la pagina actual:
    $this_file = "menu.php";
    
    //Incluye el codigo HTML:
    include "cod/html.php";
?>
