Cómo se pagan los feriados del viernes 13 y lunes 16 de octubre