/* en cabecera.php */