En diciembre, genéricamente, hay que hacer 166 horas, por ser un mes de 31 días.

Como estás del 3 al 17 de vacaciones (perdiendo así la deducción de 7'5 horas por los días 6 y 8), las 166 horas se reducen a 86 horas.

Como tienes permiso de Navidad (el día 25 y dos días más), a 86 horas horas hay que restarle 22'5 horas, con lo que el número total de horas que tendrás que hacer este mes de diciembre es: 63'5 horas.